On 2017-01-26 13:29:43 +0100 (+0100), Thierry Carrez wrote: [...] > I therefore propose we just skip next week meeting, and regroup on > February 7th. [...] As one of the slouches who has to skip the meeting anyway, I'm of course fine with not holding one at all. ;) -- Jeremy Stanley