On Tue, 2021-02-09 at 09:36 +0100, Ludovic Courtès wrote:
> [...]
> Could you reconfigure your system with the fix for the bug above and let
> us know if it ever shows up again?

I'm reconfiguring the system now.  I'll reopen the bug if it
shows up again.

Greetings,
Maxime.