On Wed, 7 Feb 2024 19:30:17 GMT, George Adams <gd...@openjdk.org> wrote:
> > Opened [JDK-8325444](https://bugs.openjdk.org/browse/JDK-8325444) and > > trying a fix in https://github.com/RealCLanger/jdk/actions/runs/7820130826 > > I like your approach, it feels more robust Yeah, but didn't work. Here's a PR with something working (your initial version 😉): https://github.com/openjdk/jdk/pull/17756 ------------- PR Comment: https://git.openjdk.org/jdk/pull/17694#issuecomment-1932766071
