On Tue, Jan 12, 2021 at 01:11:00PM +0100, Manuel Bouyer wrote: > I think I've seen some mails about a similar problem in the past few months > but I don't remember the details (and couldn't find a PR about it either). That was supposed to be fixed by ticket #907, which got pulled up on May 13 2020. Martin