I do. The server ran out of disk earlier today and it seems that it killed bugzilla somehow. I'll have a look. Thanks, Simon
> On Feb 25, 2019, at 2:07 PM, Gabriel Becker <gabembec...@gmail.com> wrote: > > Hi Martin (who I believe manages bz?) et al., > > I'm getting 503 Service Unavailable from bugzilla currently ( > https://bugs.r-project.org/bugzilla/ and direct links to specific bugs, > both). Is this a known issue? > > Thanks, > ~G > > [[alternative HTML version deleted]] > > ______________________________________________ > R-devel@r-project.org mailing list > https://stat.ethz.ch/mailman/listinfo/r-devel > ______________________________________________ R-devel@r-project.org mailing list https://stat.ethz.ch/mailman/listinfo/r-devel