On Wed, 11 May 2022 18:30:32 GMT, Joe Wang <jo...@openjdk.org> wrote:
>> Naoto Sato has updated the pull request incrementally with one additional
>> commit since the last revision:
>>
>> Minor fixup
>
> src/java.base/share/classes/java/util/TimeZone.java line 80:
>
>> 78: * {@code GMT} <i>Sign</i> <i>Hours</i> {@code :} <i>Minutes</i>
>> {@code :} <i>Seconds</i>
>> 79: * {@code GMT} <i>Sign</i> <i>Hours</i> {@code :} <i>Minutes</i>
>> 80: * {@code GMT} <i>Sign</i> <i>Hours</i> <i>Minutes</i>
>
> For hours and minutes, the format can be hh:mm or hhmm. Is it worth it to
> support hhmmss as well?
It would be consistent, but I don't see much requirement for it. I'll consider
if someone needs it.
-------------
PR: https://git.openjdk.java.net/jdk/pull/8606
