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