Commit 1401e4d490c249ac3ba9a6de220509d49c10b3d2

Bruno Haible 2017-12-03T23:35:26

all: Replace more http URLs by https URLs.