Kotlin: test#22057

jketema wants to merge 1 commit into

github:maingithub/codeql:mainfrom

jketema:jketema/kotlin-testjketema/codeql:jketema/kotlin-testCopy head branch name to clipboard