https://kotlinlang.org logo
p

pniederw

11/16/2021, 8:10 PM
Is this the place to request merging of https://github.com/square/javapoet/pull/840? 🙂 Please have merci on Java (records).