On Tuesday 16 August 2011, Daniel Richard wrote:
> On Tue, 2011 Aug 16 15:30+0200, Stefano Lattarini wrote:
> > BTW, are you the same "Daniel Richard G." listed in THANKS with the
> > address "danielg@teragram.com"?  If yes, should I update your
> > address there?
> 
> The same! That's my work address, and while it remains active, my
> personal address (@iskunk.org) is the one I usually go by in this realm.
> Please feel free to update the entry.
> 
OK, will do with the attached trivial patch.

Thanks,
  Stefano