Revision 4c3623c1e4ec7332168c91300e15f4416ac9dc0f authored by Antoine R. Dumont (@ardumont) on 22 September 2016, 11:42:19 UTC, committed by Antoine R. Dumont (@ardumont) on 22 September 2016, 11:43:45 UTC
Before that, it could for example pushed copies to other mirrors where the content was missing.
1 parent cdf11d5
