Paul Eggert <[EMAIL PROTECTED]> writes: > Simon, can you please check this change? It's not clear whether you > installed it, or were thinking about installing it. > > http://lists.gnu.org/archive/html/bug-gnulib/2007-03/msg00204.html
I did install it, but I have installed it again now. /Simon
