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!