Release preparation for version 2.25.2#21657

oscarsj merged 1 commit intocodeql-cli-2.25.2github/codeql:codeql-cli-2.25.2from

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