On 2019-02-02, Andrea Borgia <and...@borgia.bo.it> wrote: > Il 02/02/19 16:44, David Wright ha scritto: > > >> Maybe it's been fixed. When I click on that link, I arrive at >> https://bugs.debian.org/cgi-bin/pkgreport.cgi?src=linux >> which looks like: > > Now, that's quite some timing! I retested right before sending the mail > and it was still crashing. Either that or it is a memory-related issue > which only shows up intermittently, perhaps. > > Thanks for the double check! > >
I just now received an Internal Server Error here: https://bugs.debian.org/cgi-bin/pkgreport.cgi?src=linux