On Mon, Dec 18, 2017 at 3:50 PM, <[email protected]> wrote: > 2017/12/18 15:36:03 -0800, Martin Buchholz <[email protected]>: > > Mark, thanks for implementing my little feature request. Looks good to > me. > > I didn't know you'd requested this -- is there an existing issue? >
https://bugs.openjdk.java.net/browse/JDK-8189761
