mirror of
https://github.com/jlengrand/kotlin.git
synced 2026-05-11 08:31:30 +00:00
avoids additional errors reported by compilation, if configuration refinement returned error
avoids additional errors reported by compilation, if configuration refinement returned error