in reply to Re^2: How to merge two different coverage reports remotelyin thread How to merge two different coverage reports remotely
cover cover_db downloaded/cover_db [download]