Integrated: 8319825: jdk.net/jdk.net.ExtendedSocketOptions::IP_DONTFRAGMENT is missing @since 19

[Darragh Clarke]

On Wed, 15 Nov 2023 15:23:50 GMT, Darragh Clarke <dclarke at openjdk.org> 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 <dclarke at openjdk.org>
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