Commit 87ddad20076d330c4139757054d783be9b3c56ab

Werner Lemberg 2017-12-04T20:43:30

Update or fix links to use the https protocol instead of http.