Joseph Myers <jos...@codesourcery.com>: > There's at least one case of a contributor who changed their name where > you have the old name instead of the new one: Richard Guenther -> Richard > Biener.
Is
rguenth = Richard Biener <rguent...@suse.de>
correct?
--
<a href="http://www.catb.org/~esr/";>Eric S. Raymond</a>
