Hank Wisniewski wrote:
even though WEST @ 01:00s and 01:00u are the same time, that
it would be easier on the eyes and the heart if 01:00u, the convention in
the EU rules, were used.
Sounds good. I installed the attached patch into the experimental version on
github.
