Commit efd07a98bf8ad9e2625fa3402b6f0569d95ad8b4

Bruno Haible 2009-01-17T08:56:25

Update after gnulib changed.