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 )