On 24/04/14 20:03 +0200, Marc Glisse wrote:
Grep seems to indicate that the manual is the only other place that needs updating, but that can wait.Is this patch ok, assuming the tests pass?
OK, and sorry for forgetting about that file in the testsuite!
