Release preparation for version 2.13.5#13613

hvitved merged 1 commit intocodeql-cli-2.13.5github/codeql:codeql-cli-2.13.5from

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