On 2017-05-02 16:11:06 +0200 (+0200), Thierry Carrez wrote: [...] > we could plan to get together on the last slot of Thursday at the > Forum (17:00-17:40). [...] > Then we would break off for dinner with the last humans standing. > > Thoughts on that ? LGTM, +2! ;) -- Jeremy Stanley