On Tue, Jul 31, 2018 at 07:43:46AM +0000, Sironi, Filippo wrote: > Sorry, I was out of office for a while. > I'll look into this today.
Prarit is doing a patch too - you might wanna save effort. I leave it up
to you guys to figure out who should do it.
--
Regards/Gruss,
Boris.
ECO tip #101: Trim your mails when you reply.
--
