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

Reply via email to