Commit c3f42c25a893ed2dcd885ebff3fd2e3114ff597e

Thomas de Grivel 2018-01-24T22:19:34

Use HTTPS instead of HTTP for github.com .