On Tue, Oct 25, 2016 at 8:06 AM, Stephen Gallagher <sgallagh(a)redhat.com>
wrote:
Another question: next week, DST ends for most of the world, but not the
US...
in the past we stated we would probably follow US DST. Are we still okay
with that?
Works for me.