Now https://bugs.openjdk.java.net/browse/JDK-8275345
-phil On 10/15/21 1:11 PM, Martin Desruisseaux wrote:
Hello Philip Le 15/10/2021 à 18:28, Philip Race a écrit :I don't see that you have a JBS (https://bugs.openjdk.java.net/) account so I can submit the bug for you if needed or (better for me) you can submit it yourself at https://bugreport.java.com/bugreport/ and let me know the ID and I can convert it into a JBS bug.Thanks. I just submitted it. It got internal review ID 9071685. Martin
