On Wed, Jan 29, 2020 at 10:16:58AM +0100, Thibaut Paumard wrote: > > > Did you hear anything back? Shall we remove it? > > > > Yes, we should remove it. Can you fill the request? I won't have time > before next week.
Done, I also CCed you.
Cheers,
Moritz
