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? -- <a href="http://www.catb.org/~esr/";>Eric S. Raymond</a>
