[tor-commits] [onionoo/master] Bump version to 4.0-1.2.0-dev.