On August 28, 2015 5:02:39 PM GMT+02:00, "Eric S. Raymond" <e...@thyrsus.com> wrote: >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?
Yes. Richard.
