09:26:15 <warden> jclulow: unfortunately it looks like I spoke too early… two hors ago the server crashed again! :’(
09:26:48 <warden> It might be useful if I make you download the core dump?
21:28:43 <jclulow> warden: Yeah I could certainly poke at it a bit, but probbaly not until early January as I'm about to move
21:29:02 <jclulow> I would apply the hotpatch again after the crash, FWIW, I think it will improve things at least even if not the whole story
21:37:13 <warden> 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.