On Apr 11, 2012, at 11:15 AM, Manuel López-Ibáñez wrote:
> contrib/compare_tests does not seem to detect this :-(

I'd bet, either, there were no tests after that point, or, compare_tests 
pointed it out.  Feel free to send the two .sum files and and I will 
investigate if you think that isn't the case.

Reply via email to