2017/12/18 20:40:19 -0800, Martin Buchholz <[email protected]>: > On Mon, Dec 18, 2017 at 3:50 PM, [email protected] wrote: >> I didn't know you'd requested this -- is there an existing issue? > > https://bugs.openjdk.java.net/browse/JDK-8189761
Thanks. I cross-linked that with 8193764, which addresses part of your request, and added a comment to summarize what remains to be done. - Mark
