Subject: Closing

From: Andreas Enge <[email-masked]>
Date: Sun, 27 Aug 2023 10:52:28 +0200

Closing the bug, as the immediate problem appears to be solved,
and handling of transient network failures is discussed in other issues.

Thanks for your report,

Andreas