Commit fee3f58b1a9c83add7795595a0892deee0fcc540

Bruno Haible 2007-03-10T14:56:09

Remve redundant specification.