Changedocs 2.23.5#20858

redsun82 merged 1 commit intocodeql-cli-2.23.6github/codeql:codeql-cli-2.23.6from

redsun82/2.23.6github/codeql:redsun82/2.23.6Copy head branch name to clipboard