On Tue, 16 Mar 2021 13:27:18 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote: > (Also, we are both commenting on the wrong PR. I assume you are really referring to the changes in #47 :-)) Yes, how did that happen..? ------------- PR: https://git.openjdk.java.net/guide/pull/46