Integrated: 8370910: Cleanup terminology of UUID vs Global Identifiers in UUID
Kieran Farrell
kfarrell at openjdk.org
Mon Dec 15 20:54:30 UTC 2025
On Thu, 20 Nov 2025 16:07:36 GMT, Kieran Farrell <kfarrell at openjdk.org> wrote:
> Replacing 'global identifier' with 'UUID' for consistancy in the spec as suggested during the review of JDK-8334015.
This pull request has now been integrated.
Changeset: 6aeabd4b
Author: Kieran Farrell <kfarrell at openjdk.org>
Committer: Roger Riggs <rriggs at openjdk.org>
URL: https://git.openjdk.org/jdk/commit/6aeabd4bfaca168e9c88716b185979cf1e1b85ed
Stats: 4 lines in 1 file changed: 0 ins; 1 del; 3 mod
8370910: Cleanup terminology of UUID vs Global Identifiers in UUID
Reviewed-by: alanb, rriggs, jpai
-------------
PR: https://git.openjdk.org/jdk/pull/28435
More information about the core-libs-dev
mailing list