Skip to content
Prev 43807 / 63424 Next

Daily snapshots of sources do not work?

On 05/08/2012 08:53, Rainer Hurling wrote:
Whatever '07/26/2012' means!
Yes, we know.  But:

- only people at that site can deal with this
- people do have vacations, and things do break in their absence

At least we should thank Martin Maechler and colleagues that this does 
work well over 99% of the time.