On Wed, 16 Nov 2022 19:07:48 GMT, Naoto Sato <na...@openjdk.org> wrote:
> Adding a `@sealedGraph` tag to `ZoneId` class. This pull request has now been integrated. Changeset: 8b140e2d Author: Naoto Sato <na...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/8b140e2d747676f6c5f53ccb18cee307e7d3da1c Stats: 1 line in 1 file changed: 1 ins; 0 del; 0 mod 8297152: Add a @sealedGraph tag to ZoneId Reviewed-by: iris, joehw ------------- PR: https://git.openjdk.org/jdk/pull/11195
