Am Tue, Dec 14, 2021 at 04:06:02PM +0100 schrieb Mattia Rizzolo: > Hopefully at the very least reduced the probability to happen in the > future with > https://github.com/paulproteus/public-udd-mirror/commit/15df7d89fb6d447e0e4b57c3e3f24aa512414b64 Makes sense. > Thanks for reporting! Thanks a lot for providing the mirror Andreas. -- http://fam-tille.de