On Fri, 19 Nov 2021 20:09:16 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
>> Thanks for the explanation. Mostly, I was curious about what had happened >> in your thinking in this area. I have no strong preferences either way, >> with a mild preference for leaving it alone, and improve it later when you >> may be able to make better use of the declaration. > > 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. ------------- PR: https://git.openjdk.java.net/jdk/pull/6359
