Kotlin: update to 2.3.20#21583

redsun82 wants to merge 10 commits intomaingithub/codeql:mainfrom

redsun82/update-kotlin-2.3.20github/codeql:redsun82/update-kotlin-2.3.20Copy head branch name to clipboard