On Thu, 16 Feb 2023 14:32:15 GMT, Rich DiCroce <d...@openjdk.org> wrote:
> Improves performance and correctness, as discussed on the net-dev mailing > list. Sure. What do you want the max line length to be? 80 chars? 100? ------------- PR: https://git.openjdk.org/jdk/pull/12593
