Checkout
Julian Foad
committed
on 09 Sep
* tools/dist/release.py: Add tool versions for 1.13 (same as 1.10 ... 1.12).