1.22: Update for support info for CodeQL term change#2287
Merged
jf205 merged 1 commit intogithub:rc/1.22from Nov 9, 2019
Merged
1.22: Update for support info for CodeQL term change#2287jf205 merged 1 commit intogithub:rc/1.22from
jf205 merged 1 commit intogithub:rc/1.22from
Commits
Commits on Nov 9, 2019
- committed
Felicity Chapman