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.