Re: `make uninstall' is not documented in the `INSTALL' files

[Eric Blake]

Ralf Wildenhues <Ralf.Wildenhues <at> gmx.de> writes:

> > update to the THANKS file.
> 
> Thanks to both of you, committed.  Not sure who you would like me to add
> to THANKS, both Karl and Roberto are mentioned already.

Serves me right for not checking the THANKS file first.  I was not familiar 
with Roberto's name, and had wrongly assumed he was a new bug reporter (it is 
interesting how the same names tend to pop up across multiple GNU projects).

Thanks again for the patch,

-- 
Eric Blake