On Wed, 2 Feb 2022 00:14:06 GMT, Serguei Spitsyn <[email protected]> wrote:
> There is minor duplication but it is okay as there is no good way to get rid > of it. I considered a loop or common method, but it seemed not to be worth it and likely less readable. ------------- PR: https://git.openjdk.java.net/jdk/pull/7295
