Thanks for reporting, i restarted the services, seems OK now. Thierry
On Fri, Sep 27, 2019 at 04:21:59AM -0700, mmarco wrote: > I get an Internal Server Error when I try to access the patchbot. In > particular, I can't see patchbot reports for any ticket. > > To make sure that it is not a problem with my network: does anybody else > experience the same? > > -- > 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/5a16d06f-ff2e-4c07-8843-8304c384e9e2%40googlegroups.com. -- 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/20190927112738.hcre25oumtgzn2v4%40metelu.net.
