On Mon, 12 Apr 2021 07:57:14 GMT, Robbin Ehn <r...@openjdk.org> wrote:
> I'm still really happy with this fix! Thumbs up! > Reminder: don't forget to decide what to do about the obsolete options. > @dholmes-ora can provide guidance on how to handle this type of removal. Thanks, yes I'll start a CSR! ------------- PR: https://git.openjdk.java.net/jdk/pull/3191
