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).
-Alan
