On Wed, 18 Jan 2023 06:36:56 GMT, Julian Waters <jwat...@openjdk.org> wrote:
> @fabioromano1 Would you like me to create an entry for you for the Pull > Request is linked to the appropriate mailing list? When I do that you will > have to change the name of this Pull Request though Yes, thank you very much. ------------- PR: https://git.openjdk.org/jdk/pull/11837
