Pulaski County, Indiana changes time zone effective March 11, 2007

[Paul Eggert]

Thanks for the pointer; I'll include it in my next proposed change.
I see no glitches in the DoT's switchover wording, which is nice.