Revision 3b62a07012d17985d1a000f182984812b3d2f26c

Committed on 09/03/2017 1:15 am by Larry Garfield <larry@garfieldtech.com> [GitHub Diff]

Switch to HTTPS
(cherry picked from commit 80894b3d401a0383fc160640045674422aa9ac1b)