Commit 9d8f622a8573f64f6b118497dd7916ec25bd808f

Bruno Haible 2012-01-15T13:05:11

Update after gnulib changed.