On 19/06/2019 10:21, Andrew Dinn wrote:
: I raised this CSR:CSR: https://bugs.openjdk.java.net/browse/JDK-8226385 and tagged it for jdk13. Also, I labelled it SE -- but is it, perhaps, meant to be JDK? (apologies, I am still a noob to this process).
Yes, it's "SE" as it's normative text in Java SE API spec.I added myself as Reviewer to the the CSR so you can finalize. The webrev looks good.
-Alan