Paul Eggert Fri, 22 Feb 2008 21:21:30 -0800
Bruno Haible <[EMAIL PROTECTED]> writes: > Paul, is this ok to commit?
Yes, that looks good to me; thanks.