On Mon, 8 Nov 2021 18:20:10 GMT, Andrew Haley <aph at openjdk.org> wrote: > We surely need a reproducer for this one. Well, I think I do anyway. Have you got anything? ------------- PR: https://git.openjdk.java.net/jdk/pull/6212