On Tue, 29 Nov 2022 23:40:58 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
>> Markus KARG has updated the pull request incrementally with one additional >> commit since the last revision: >> >> fixed bug number > >> > Please take note of the changes proposed in #11403. >> >> It might make sense to merge _this_ PR as-is _first_, but then add the >> needed fix to #11403 afterwards? > > I concur. I will take a look at the test soon. @bplb Thank you so much! Seems we won the price for the most short-notice commit to JDK 20. ;-) ------------- PR: https://git.openjdk.org/jdk/pull/11248