On Jul 17, 2018, at 11:45 AM, Alan Bateman <[email protected]> wrote:
> On 17/07/2018 18:13, Brian Burkhalter wrote: >> >> I made this small change: >> >> http://cr.openjdk.java.net/~bpb/8202794/webrev.01/ > Looks okay. Thanks. >> : >> >> Is there any issue on file for these things? I could file one but perhaps >> someone else already knows more detail. >> > It would be good to create an issue on this. Done: https://bugs.openjdk.java.net/browse/JDK-8207744 Brian
