On 2012-10-10 09:33 , Ian Lance Taylor wrote:
with at once. Perhaps "Rick" would be a good choice.
Last name "Astley"? Include links to videos, please.
On Wed, Oct 10, 2012 at 1:45 AM, Richard Biener wrote:
>
> Unfortunately this donesn't improve the situation with the
> too many Richards ;)
I think you will find it easier to change your given name at the same
time that you are changing your surname, to get all the changes over
with at once. Pe
On Wed, Oct 10, 2012 at 10:45:58AM +0200, Richard Biener wrote:
> 2012-10-10 Richard Biener
>
> * MAINTAINERS: Adjust for changed surename.
>
> Index: MAINTAINERS
> ===
> --- MAINTAINERS (revision 192254)
> +++ MAINTAI