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
On Mon, Dec 13, 2021 at 03:14:09PM +0100, Andreas Tille wrote:
> seems there is another case that public UDD mirror is out of sync.
It looks like networks errors are way too frequent recently...
> It would be great if this could be fixed (and prevented in future).
Hopefully at the very least red
2 matches
Mail list logo
