status:
- closed
ticket-id:
- 04ea7229a80b4e04a381dfeba38f5afd
title:
- 'Re: [PATCH] coverage-4.0a6 compatibility'