bug#56014: Close

[Andreas Enge]

Closing as too old and apparently sporadic; I do not see what we could
do now. If the same things happens again, please file an issue on
Codeberg.

Andreas