bug#8360: distcheck-hook never called

[Ralf Wildenhues]

* Ralf Wildenhues wrote on Sat, Apr 09, 2011 at 01:11:58PM CEST:
> OK to add you to THANKS for the eventual documentation patch I've yet to
> write?

Can we have a full name for that too?