Comment 1 for bug 713811

Revision history for this message
Greg Banks (gnb-3) wrote :

Hi,

This problem should have been fixed by commit

http://ggcov.git.sourceforge.net/git/gitweb.cgi?p=ggcov/ggcov;a=commitdiff;h=6544b1e896b09438234359142e310650a27dac45

which was released in 0.8.3.