On Tue, 20 Dec 2022 16:15:09 GMT, Thomas Schatzl <tschatzl at openjdk.org> wrote: >> This reverts commit 3e17e3c1c12d71461213bf15cdb72d4d93c88460. > > Ship it @tschatzl - Thanks for the review! ------------- PR: https://git.openjdk.org/jdk20/pull/62