Emmanuel Engelhart wrote:
True, new version correcting this bug.
Again, *please* use tabs to indent lines in the future. I've fixed this
for you now and committed it.
Seems pretty straightforward, I've gone ahead and copied it to the 1.3
branch and installed it.
-- brion vibber (brion @