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
[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
Unable to cat file: svn: Can't write to stream: No space left on
Thought you all might like to know.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk