Checkout
Julian Foad
committed
on 27 Sep
* tools/dist/release.py (tool_versions): Deduplicate the data.