Checkout
Julian Foad
committed
on 27 Sep
* tools/dist/release.py: Make '--target' a global option.