[GRASS-dev] trac problem when posting a ticket: no space left on device

[Moritz Lennert]

Trying to post a new ticket to trac, I got the following error:

***************
  Trac detected an internal error:

OperationalError: could not extend file "base/16400/76283": No space 
left on device
HINT:  Check free disk space.
***************

Don't know if this specific to the GRASS trac or not.

Moritz