git: openjdk/jdk: Added tag jdk-23+1 for changeset 519ecd35

[jwilhelm]

Tagged by: jwilhelm <jwilhelm at openjdk.org>
Date:      2023-12-07 23:44:51 +0000

Added tag jdk-23+1 for changeset 519ecd35
Changeset: 519ecd35
Author:    Joe Darcy <darcy at openjdk.org>
Committer: Jesper Wilhelmsson <jwilhelm at openjdk.org>
Date:      2023-12-07 17:01:29 +0000
URL:       https://git.openjdk.org/jdk/commit/519ecd352a66633589f160db7390647d90e36b99