Commit e54fc9c1a8ba16257ffb10161e99153a8311bf56

Bruno Haible 2018-09-17T18:28:56

Prefer https URLs where possible.