Commit bbb593693036c1aaea1e262a2d023aae5cfb35f2

Bruno Haible 2008-09-25T16:02:58

Oops, tweak last commit so that it also works in the first gnulib-tool run.