On Mon, 16 Sep 2024 11:59:22 GMT, Eirik Bjørsnøs <eir...@openjdk.org> wrote:
>> I am not sure it is needed, but could tweak to >> >>> The combined length, after encoding, of the ...... >> >> thoughts? > >> > The combined length, after encoding, of the ...... >> >> thoughts? > > I like it. Disambiguating but also succinct. Set to be updated as part of the next PR push ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/21003#discussion_r1761677041
