Commit c7054c798329aaa675b627e09180b0730eee49f5

Bruno Haible 2009-08-22T18:58:09

Use module pipe2.