[tor-commits] [metrics-lib/master] Bump version to 2.12.2-dev.