Am 27.01.2013 21:52, schrieb Max Roder:
I would like to submit a mirror which is not in the official list yet:
Hopefully this is the right place to do so.
I'm not the maintainer or something, just found it on the web.
This should to be requested by the admin/maintainer of the repo. It's good to have permission and some contact information.