On Wed, 7 Feb 2024 19:29:02 GMT, Christoph Langer <clan...@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 ------------- PR Comment: https://git.openjdk.org/jdk/pull/17694#issuecomment-1932728575