Urgent: No space left on disk with GNATS

[Wolfgang Bangerth]

When trying to change something at a gcc GNATS report, I get the message 
that there is no disk space left on this device. Also, when searching for 
PRs, a lot of them seem unavailable.

Is anyone looking into this?

Thanks
  Wolfgang

-------------------------------------------------------------------------
Wolfgang Bangerth              email:           bangerth@ticam.utexas.edu
                               www: http://www.ticam.utexas.edu/~bangerth