2020/7/23 10:33:34 -0700, [email protected]: >> Bug: https://bugs.openjdk.java.net/browse/JDK-8250216 >> >> [ ... ] >> >> Patch below. > > Looks good. > > I think it would be nice if you could reference the JDK Project page > (ojn/projects/jdk), not just ojn.
Good idea ... but I just pushed the changeset. I’ll fix that later. - Mark
