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. Maximum line length reduced to 80-ish characters. ------------- PR: https://git.openjdk.org/jdk/pull/12593