<i18n dev> RFR: 8349200: [JMH] time.format.ZonedDateTimeFormatterBenchmark fails

Tue Feb 4 02:40:59 UTC 2025

On Mon, 3 Feb 2025 22:18:51 GMT, Naoto Sato <naoto at openjdk.org> wrote:

> If we need more practical short name, "PST" might not be a bad choice.

I think use "Pacific Standard Time - PST" is a more practical chioce. The PR has been updated.

-------------

PR Comment: https://git.openjdk.org/jdk/pull/23414#issuecomment-2632673527