On Tue, 2020-03-03 at 16:11 +0100, Ferdinand Goldmann wrote: > On Mon, 2 Mar 2020, Matthew Newton wrote: > Since after the switch to 3.0.20 both production servers started > crashing > within hours while this one has now been running for over a day > without a > crash it seems the bug is fixed. Sounds good, thanks. -- Matthew