On Tue, 20 Dec 2022 16:15:09 GMT, Thomas Schatzl <tscha...@openjdk.org> wrote:

>> This reverts commit 3e17e3c1c12d71461213bf15cdb72d4d93c88460.
>
> Ship it

@tschatzl - Thanks for the review!

-------------

PR: https://git.openjdk.org/jdk20/pull/62

Reply via email to