Commit d123470555c2e5696e1fc7de6f0ef33cdef42edc

Bruno Haible 2008-11-12T12:29:05

Don't duplicate a function defined elsewhere in gnulib.