>>>>> "Paolo" == Paolo Bonzini <[EMAIL PROTECTED]> writes:
>> I was only suggesting it as a nicity, if people are happy with the >> login name alone. Paolo> What about "Real Name <[EMAIL PROTECTED]>"? The overseers have Paolo> the mapping, or you can sort of guess it from the names in the Paolo> ChangeLog. This has to be decided before the first push, so Paolo> it's kind of urgent to decide it. I also think adding the Real Name is nice. Maybe we should also consider adding the login as an additional field in the MAINTAINERS file, as AFAIK every MAINTAINERS as a @gcc.gnu.org address. Sam -- Samuel Tardieu -- [EMAIL PROTECTED] -- http://www.rfc1149.net/