next main CG meeting: Dec 6 (!)

Hi everyone,

It's Thanksgiving in the US so we are not having a main CG meeting this
week. We will also not have a meeting on December 20 (again for holiday
related reasons).

To compensate, we will have a meeting on December 6.

The Google Calendar has been updated (but lacks dial-in information right
now -- we'll update that in time).

Best,
Peter.