Commit 93c428bb7793d9db9a6983cd73fc478fc75c73f8

Bruno Haible 2011-07-03T16:04:46

Update after gnulib changed.