<i18n dev> [jdk22] Integrated: 8322647: Short name for the `Europe/Lisbon` time zone is incorrect

[Naoto Sato]

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

This pull request has now been integrated.

Changeset: a72afb38
Author:    Naoto Sato <naoto at 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