Hi Antonio, On Sun, May 04, 2025 at 04:38:57PM +0200, Antonio Valentino wrote: > Hi Julian, > > [...] > > you have maintainer role now on the repository > you should be able to push now > > kind regards Thanks, just pushed! All being well, it will fix this bug. If it does, I'll also submit it upstream. Best wishes, Julian