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.
-- Joseph S. 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.
-- Joseph S. Myers jos...@codesourcery.com