On Tue, 29 Nov 2022 23:40:58 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
> > > 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. That would be better, as would pushing out #11403 to after the fork for JDK 20 as that change could have a bug tail. ------------- PR: https://git.openjdk.org/jdk/pull/11248