>>>>> On Thu, 20 Jan 2011, Diego Elio Pettenò wrote: > The policy, that as chithanh pointed out needs to be updated, is > just going to cause more grief by the time you want to pick up the > old files for whatever reason. Ulrich (ulm) and Christian (fauli) > knows how much a pain it becomes.
<irony> Oh, that was easy: We found some forgotten distfile mirrors that hadn't been updated for several years. And for the files then still missing, we sent a plea for help to -dev (or was it planet?) and had them mailed to us by users. </irony> Thanks again to our users who had helped us at the time. Ulrich
