On Thu, 4 Jan 2024 17:26:37 GMT, Naoto Sato <na...@openjdk.org> wrote:
> 8322647: Short name for the `Europe/Lisbon` time zone is incorrect This pull request has now been integrated. Changeset: a72afb38 Author: Naoto Sato <na...@openjdk.org> URL: https://git.openjdk.org/jdk22/commit/a72afb3845a7d245d462904e75b9368efefc0d39 Stats: 94 lines in 3 files changed: 72 ins; 2 del; 20 mod 8322647: Short name for the `Europe/Lisbon` time zone is incorrect Reviewed-by: joehw Backport-of: ad31ec5c5f120082cedd7b9ece45b6b44147c0c5 ------------- PR: https://git.openjdk.org/jdk22/pull/30
