On Thu, 4 Jan 2024 17:26:37 GMT, Naoto Sato <naoto at openjdk.org> wrote: > 8322647: Short name for the `Europe/Lisbon` time zone is incorrect Marked as reviewed by joehw (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk22/pull/30#pullrequestreview-1804685583