On Tue, Oct 25, 2016 at 8:06 AM, Stephen Gallagher <sgallagh@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.