Hi Joe, > On May 20, 2019, at 8:58 AM, Joe Darcy <[email protected]> wrote: > >> Looks fine.
+1 >> Is this worthy of a CSR? It seems like make-work except that it does change >> the formal Java SE spec that is generated from javadoc. > > Fair point; new CSR at: > > https://bugs.openjdk.java.net/browse/JDK-8224232 > <https://bugs.openjdk.java.net/browse/JDK-8224232> Reviewed. Brian
