Checkout
Julian Foad
committed
on 04 Mar
* tools/dist/release.py: Add tool versions for 1.12.