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 Marked as reviewed by joehw (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk22/pull/30#pullrequestreview-1804685583
