On Sat, Aug 22, 2020 at 12:34:07PM +0200, Pierre Neidhardt wrote:
> Can this be closed now that this is merged on master?

Sure, we can always reopen bugs if we want.