The next infra call will take place at `date -d "Tue, 15 Dec 2020 17:30 UTC"`
(18:30 Berlin time).
(Personally I've been on AFK for over half the time since the last call
and don't have much to report, but probably others have something to say
See you there!