mirror of
https://github.com/hohn/codeql-lab.git
synced 2026-05-05 09:45:10 +02:00
Merge pull request #253 from github/update-codeql-submodule-15391694806-1
Update CodeQL submodule
This commit is contained in:
Update CodeQL submodule