17 Nov
2017
17 Nov
'17
11:00
Hi On Fri, 17 Nov 2017 08:56:55 +0100 Per Jessen wrote:
widehat seems to be out of sync?
https://progress.opensuse.org/issues/27699 https://lists.opensuse.org/mirror/2017-11/msg00001.html https://progress.opensuse.org/issues/27796
https://monitor.opensuse.org/icinga/cgi-bin/status.cgi?host=widehat.opensuse... and https://status.opensuse.org/incidents/28 Regards, Lars -- To unsubscribe, e-mail: heroes+unsubscribe@opensuse.org To contact the owner, e-mail: heroes+owner@opensuse.org