github/Mantle — pull request #130 by orj (2013-09-02 04:25:48+00:00)
Title: Change submodule URLs to HTTPS (from Git) to avoid firewalls that block ...

Change submodule URLs to HTTPS (from Git) to avoid firewalls that block that port.