jclulow: unfortunately it looks like I spoke too early… two hors ago the server crashed again! :’(

It might be useful if I make you download the core dump?

warden: Yeah I could certainly poke at it a bit, but probbaly not until early January as I'm about to move

I would apply the hotpatch again after the crash, FWIW, I think it will improve things at least even if not the whole story

Ok, thank you very much, I just applied the patch. I’ll wait until the end of the year (in case of further panics), before posting the latest crash dump.