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

Reply via email to