On Sat, Oct 09, 2021 at 04:43:37PM +0200, Guillem Jover wrote: > > I think the attached patch is the correct fix. I think I can push to > the repo, so if no one has any concerns I might do that during the > weekend.
Thanks Guillem! The issue seems fixed now, I'm closing this bug. Ana

