Checkout
Julian Foad
committed
on 14 Sep
* tools/dist/release.py (main): Move '--branch' to be a global option.