> On Apr 26, 2017, at 6:49 PM, Jonathan Gibbons <[email protected]> > wrote: > > Updated webrev to address Joe's suggestion to try harder to use {@code} as a > substitute for <tt>. > > http://cr.openjdk.java.net/~jjg/8179370/webrev.01
Looks good. Mandy
