On Thu, 29 Sep 2022 21:21:44 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
> Approved, with a question... > > Looking at the generated output, would it be better to prefix theJEP numbers > in the initial list of checkboxes with the word `JEP` ? That format was suggested by Alex as it is the one used in other places, such as the JDK release page on openjdk.org: https://openjdk.org/projects/jdk/19/ I'll leave it as it is now, we can always tweak the output in a followup issue. ------------- PR: https://git.openjdk.org/jdk/pull/9336
