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