Re: [PATCH 0/1] Change email address

2017-07-04 Thread Christian Borntraeger
On 07/04/2017 02:02 PM, Paolo Bonzini wrote: > > > On 04/07/2017 11:30, Cornelia Huck wrote: >> New employer, new address. Make sure people use the right one. >> >> Christian, Martin, it's probably quickest if one of you takes this. > > I'm sending a pull request tomorrow so I'll include this

Re: [PATCH 0/1] Change email address

2017-07-04 Thread Paolo Bonzini
On 04/07/2017 11:30, Cornelia Huck wrote: > New employer, new address. Make sure people use the right one. > > Christian, Martin, it's probably quickest if one of you takes this. I'm sending a pull request tomorrow so I'll include this too. Paolo > Cornelia Huck (1): > Update my email