Checkout
Julian Foad
committed
on 18 Sep
* tools/dist/release.py: Revert accidental part of r1867134.