Commit d5e214b91cce9d1fdd7fdb6c8b82c4bac80f74fc

Bruno Haible 2007-06-30T13:45:08

Remove from CVS; it's provided by gnulib.