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

on Wed Aug 14 2013, Anthony Foiani wrote:

Dave Abrahams writes:

...

on Mon Aug 12 2013, Dave Abrahams wrote:

...

Thanks for the heads up. The disk is indeed full! I'll try to get that fixed ASAP.

Done. Thanks again.

No problem -- small payback for the use I've gotten out of boost!

Is it possible that the full disk also caused the lag reported in this message:

http://article.gmane.org/gmane.comp.lib.boost.devel/243427

Or is that a different machine?

Totally separate system, sorry. -- Dave Abrahams