Re: [PATCH] Revert "Temporarily disable generating a coverage report."