On Mon, 5 Dec 2022 15:10:20 GMT, Darragh Clarke <[email protected]> wrote:
>> I am not sure whether that would be helpful or confusing. > > I think that's a good point, I don't really have a strong opinion one way or > the other on it but would be curious if anyone else does? Let's leave it the way you have it now. ------------- PR: https://git.openjdk.org/jdk/pull/11323
