[tor-commits] [bridgedb/develop] Upgrade coverage to version 4.2.