I'd like to move the weekly infrastructure meetings out an hour...
from 19UTC to 20UTC.
There's another meeting that I and several other folks have just before
the current meeting time, and a bit more buffer would be nice for when
that meeting runs over.
Any objections? If not, we will just move an hour to 20:00UTC this