Is this the place to request merging of <https://g...

# squarelibraries

[pniederw]

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