Merge branch 'main' into source-root-input

This commit is contained in:
Mario Campos 2021-07-02 16:20:05 -05:00 committed by GitHub
commit a4a91a8631
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View file

@ -1,3 +1,3 @@
{
"bundleVersion": "codeql-bundle-20210622"
"bundleVersion": "codeql-bundle-20210702"
}