On Tuesday, August 07 2018, Claudiu Zissulescu wrote: > Hi Sergio, > > The issue should be fixed by the subsequent patches. Thanks, Claudiu. It's apparently fixed, indeed. -- Sergio GPG key ID: 237A 54B1 0287 28BF 00EF 31F4 D0EB 7628 65FC 5E36 Please send encrypted e-mail if possible http://sergiodj.net/