Skip to content

Fix getJvmName for @JvmRecord data class properties#2813

Open
MariusVolkhart wants to merge 1 commit intogoogle:mainfrom
MariusVolkhart:mv/record
Open

Fix getJvmName for @JvmRecord data class properties#2813
MariusVolkhart wants to merge 1 commit intogoogle:mainfrom
MariusVolkhart:mv/record

Commits

Commits on Mar 5, 2026