Re: [tor-mirrors] Mirror list should be up to date as of now

On 15.07.2015 23:58, Daniel Pajonzeck wrote:

Applying the attached patch with git-am and running the update-script let the mirror list grow ;)

There is a further one for uniform notation and capitalization of boolean values and minor fixes. Thanks for applying. You don't need to rerun the update script. // Daniel