> It would also be nice to change times - +0000 is obviously not needed as
> it's always UTC and we don't really need the seconds probably. We could
Wait, I was wrong on that - it's not always the same, my sample was too
small :) Maybe we should convert it to always UTC?
Also, maybe we can get rid of "Trivial merge" mails? In general, it
feels like we have too many mails here. I make one update to 3 branches
and before I got just one email out of it, now I get six. That quickly
becomes unmanageable and I can't review actual commits.
Stanislav Malyshev, Software Architect
(408)454-6900 ext. 227
PHP CVS Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php