On Mon, 2019-02-18 at 10:10 +0000, Alan Bateman wrote: > On 18/02/2019 09:50, Severin Gehwolf wrote: > > : > > Thanks. CSR has been filed here: > > https://bugs.openjdk.java.net/browse/JDK-8219207 > > > The interface change is to add --strip-java-debug-attributes so it > might be better to change the synopsis and the summary to make this > clearer. Also in the specification section it would be better to > include the usage message for the new option rather than a link to > the webrev (as the webrev could disappear at any time and so not > useful to anyone looking at the CSR at some future time).
OK. Thanks, Alan. I've updated it accordingly. Thanks, Severin
