On Sun, 5 Sep 2021 13:23:21 GMT, Andrew Haley <a...@openjdk.org> wrote:
>> Thanks, I'll fix it. > > It's fine. I don't think it'll affect any real programs, so it's rather > pointless. I don't know if that's any reason not to approve it. Andrew, can you help us to approve this? ------------- PR: https://git.openjdk.java.net/jdk/pull/4722
