On Wed, 15 Nov 2023 15:23:50 GMT, Darragh Clarke <[email protected]> wrote:
> `ExtendedSocketOptions::IP_DONTFRAGMENT` is currently missing `@since 19`, > this PR adds it This pull request has now been integrated. Changeset: 73e19f60 Author: Darragh Clarke <[email protected]> URL: https://git.openjdk.org/jdk/commit/73e19f60cd383cfa5ecbea5d9c57fb59f69c1608 Stats: 2 lines in 1 file changed: 2 ins; 0 del; 0 mod 8319825: jdk.net/jdk.net.ExtendedSocketOptions::IP_DONTFRAGMENT is missing @since 19 Reviewed-by: dfuchs, jpai ------------- PR: https://git.openjdk.org/jdk/pull/16677
