On Fri, 19 Nov 2021 20:13:41 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:
>> Please clarify: do you want me to revert 93f01b9, push the PR as it is now, >> or do something else? > > by défault, push the PR as is, unless you have strong feelings to do > otherwise. >> I will push a commit to make Style sealed, which seems a reasonable thing to >> do. Do you have any objections, Jon? No objections to that course of action. ------------- PR: https://git.openjdk.java.net/jdk/pull/6359
