[Savannah-hackers-public] [gnu.org #1017575] New Mirror

[Fabio Pesari via RT]

CC'ing the Savannah mirrors:

http://mirror.unicorncloud.org/savannah-nongnu/
https://mirror.unicorncloud.org/savannah-nongnu/