Commit 07524cfe50a1d4d9351cfbbf0b2db5a3768f909e

Bruno Haible 2006-09-28T21:59:59

sed now also uses gnulib.