On Mon, 3 Feb 2025 22:18:51 GMT, Naoto Sato <na...@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
