On Fri, 28 Aug 2015, Eric S. Raymond 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, that's right (it's what he uses for current ChangeLog entries). -- Joseph S. Myers jos...@codesourcery.com
