On 17/07/2018 18:13, Brian Burkhalter wrote:
I made this small change:http://cr.openjdk.java.net/~bpb/8202794/webrev.01/ <http://cr.openjdk.java.net/%7Ebpb/8202794/webrev.01/>
Looks okay.
: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. -Alan
