Am Tue, Feb 06, 2024 at 09:22:43AM -0500 schrieb Maxim Cournoyer: > Thanks for the report. It occurred a few times in the past weeks, where > the 'mumi' service had to be restarted on Berlin. Let's keep this open > to see if it'll occur again. Otherwise I'll close it in a week or two.
It has happened for me last evening, so it does not seem to be definitely fixed. Andreas
