Merge remote-tracking branch 'upstream/master'
remove git:// url in mirage-net in preference for stable archive, added by mistake
Merge pull request #648 from mirage/master

mirage-net: remove git:// url in stable repository
Merge remote-tracking branch 'upstream/master'