Ludovic Courtès <[email protected]> writes: > This one looks OK, but you may want to move it to a separate patch, or > to mention it in the commit log.
Oops, accidentally merged two patches together. I've separated coverage and discover into two patches. -- David Thompson Web Developer - Free Software Foundation - http://fsf.org GPG Key: 0FF1D807 Support the FSF: https://fsf.org/donate
