On August 28, 2015 5:02:39 PM GMT+02:00, "Eric S. Raymond" <[email protected]> wrote: >Joseph Myers <[email protected]>: >> 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 <[email protected]> > >correct?
Yes. Richard.
