On Thu, 16 Feb 2023 14:32:15 GMT, Rich DiCroce <duke at 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