On 17/09/2014 18:43, Brian Burkhalter wrote:
Hello,

Issue:  https://bugs.openjdk.java.net/browse/JDK-8058664
Webrev: http://cr.openjdk.java.net/~bpb/8058664/webrev.00/

Somehow some bad fonts got in to the line prefixes of some comments and none of 
the tools caught it.

    Looks good :-)

Reply via email to