Checkout
Julian Foad
committed
on 13 Sep
* tools/dist/release.py: Remove obsolete distinction between http and https access.