bug#42006: Close

[Andreas Enge]

Hello Leo,

closing this as probably too old to be still relevant; please feel free
to reopen it if you still experience the problem.

Andreas