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
