Release v2.25.0#443

codeql-coding-standards-automation[bot] wants to merge 1 commit intorc/2.25.0github/codeql-coding-standards:rc/2.25.0from

feature/update-user-manual-for-2.25.0github/codeql-coding-standards:feature/update-user-manual-for-2.25.0Copy head branch name to clipboard