[boost] server error on ci.boost.org?

Subject: [boost] server error on ci.boost.org?
From: Anthony Foiani (tkil_at_[hidden])
Date: 2013-08-12 16:06:22

[Sorry for sending this to the dev list, but I didn't see a server
admin email address anywhere obvious.  Or I just went right past it,
one of the two...]

I was searching for something on Google, and one of the hits was on
ci.boost.org:

    http://ci.boost.org/websvn/filedetails.php?repname=repos+1&path=%2Ftrunk%2Flibs%2Fspirit%2Frepository%2Fexample%2Fqi%2Fderived.cpp&rev=70212&peg=70212
    [shortened: http://preview.tinyurl.com/lkvqbo3 ]

When I went there, I got the navigation elements, but the actual
content was missing, and instead there was a yellow warning box with
this message:

   Unable to cat file: svn: Can't write to stream: No space left on
   device

Thought you all might like to know.

Thanks,
Anthony Foiani