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 Brian, I would be happy if you could sponsor this PR. :-) ------------- PR: https://git.openjdk.org/jdk/pull/11248
