I remembered to adjust US Pacific time for DST but forgot to do the same for US Eastern time. The US Eastern time will be 12:30. Sorry about that.
As you may have noticed, we are holding the UTC constant regardless of DST changes. Pine ( https://meta.wikimedia.org/wiki/User:Pine ) _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
