On Mon, 22 Jan 2024 10:20:39 GMT, Andrew Haley <aph at openjdk.org> wrote: > That would be nice. https://bugs.openjdk.org/browse/JDK-8324296 ------------- PR Comment: https://git.openjdk.org/jdk/pull/17480#issuecomment-1903694841