Release preparation for version 2.23.5#20812

mbg merged 3 commits intocodeql-cli-2.23.5github/codeql:codeql-cli-2.23.5from

release-prep/2.23.5github/codeql:release-prep/2.23.5Copy head branch name to clipboard