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