CodeQL docs: remove information about metric queries#3449
Merged
jf205 merged 2 commits intogithub:rc/1.24from May 12, 2020
Merged
CodeQL docs: remove information about metric queries#3449jf205 merged 2 commits intogithub:rc/1.24from
jf205 merged 2 commits intogithub:rc/1.24from