On Mon, 5 Sep 2022 14:54:50 GMT, Michael Ernst <mer...@openjdk.org> wrote:
> Can you be specific about the exact problems that you noticed that prevented > you from saying "these changes are fine"? These changes are fine. I don't see an instance where the duplicated words would mean a change in the specification. ------------- PR: https://git.openjdk.org/jdk/pull/10029
