On Sun, 14 Feb 2016, Paul Eggert wrote:
The attached additional patch would change the new zone to use "+0400" rather than "+04". Still, I mildly prefer "+04", as it's briefer. No matter what we switch to, we will confuse some people; and other things being roughly equal, briefer is better.
Perhaps briefer is better. But if this is a "trial run" for moving into the future, where we can reasonably expect partial hour offsets, we should go ahead with the +0400 variant. At least this way, there'll be only one new variant for people to absorb! Just my PHP 1 (approx. USD 0.02) worth of opinion! +------------------+--------------------------+------------------------+ | Paul Goyette | PGP Key fingerprint: | E-mail addresses: | | (Retired) | FA29 0E3B 35AF E8AE 6651 | paul at whooppee.com | | Kernel Developer | 0786 F758 55DE 53BA 7731 | pgoyette at netbsd.org | +------------------+--------------------------+------------------------+