Arthur, > On 20 May 2019, at 22:30, Arthur Eubanks <aeuba...@google.com> wrote: > > bug: https://bugs.openjdk.java.net/browse/JDK-8224248 > <https://bugs.openjdk.java.net/browse/JDK-8224248>webrev: > http://cr.openjdk.java.net/~aeubanks/8224248/webrev.00/ > <http://cr.openjdk.java.net/~aeubanks/8224248/webrev.00/> Looks ok.
-Chris.