re: #133 austin_blue

The official time for the change is 12 noon. A few minutes early is nothing new.

It never used to matter before Trump.