On Fri, 9 Jun 2023 15:49:03 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
> Please see [I have a patch, what do I > do?](https://openjdk.org/guide/#i-have-a-patch-what-do-i-do) and in > particular [Socialize your > change](https://openjdk.org/guide/#socialize-your-change). Thanks, will put it on the mailing list. ------------- PR Comment: https://git.openjdk.org/jdk/pull/11718#issuecomment-1632848128
