For completeness, the problem of the log not being sent is also present in another VM running arch:
https://patchbot.sagemath.org/log/0/Linux/#1%20SMP%20PREEMPT%20Fri,%2029%20Nov%202019%2013:37:24%20+0000/x86_64/5.4.1-arch1-1/patchbot-arch/2019-12-10%2008:19:07 Maybe some trouble of the patchbot recognizing the distribution name? -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/9614d7be-256f-421e-86c8-1ac2d6e00822%40googlegroups.com.
