Re: [RFC PATCH 08/21] contrib/gitdm: Add Mentor Graphics to the domain map

2020-10-06 Thread Jan Kiszka
On 06.10.20 14:41, Philippe Mathieu-Daudé wrote: > On 10/6/20 11:44 AM, Alex Bennée wrote: >> >> Jan Kiszka writes: >> >>> On 05.10.20 22:52, Joseph Myers wrote: On Mon, 5 Oct 2020, Alex Bennée wrote: > Joseph Myers writes: > >> On Sun, 4 Oct 2020, Philippe Mathieu-Daudé

Re: [RFC PATCH 08/21] contrib/gitdm: Add Mentor Graphics to the domain map

2020-10-06 Thread Philippe Mathieu-Daudé
On 10/6/20 11:44 AM, Alex Bennée wrote: > > Jan Kiszka writes: > >> On 05.10.20 22:52, Joseph Myers wrote: >>> On Mon, 5 Oct 2020, Alex Bennée wrote: >>> Joseph Myers writes: > On Sun, 4 Oct 2020, Philippe Mathieu-Daudé wrote: > >> There is a number of contributors from

Re: [RFC PATCH 08/21] contrib/gitdm: Add Mentor Graphics to the domain map

2020-10-06 Thread Alex Bennée
Jan Kiszka writes: > On 05.10.20 22:52, Joseph Myers wrote: >> On Mon, 5 Oct 2020, Alex Bennée wrote: >> >>> Joseph Myers writes: >>> On Sun, 4 Oct 2020, Philippe Mathieu-Daudé wrote: > There is a number of contributors from this domain, > add its own entry to the gitdm

Re: [RFC PATCH 08/21] contrib/gitdm: Add Mentor Graphics to the domain map

2020-10-06 Thread Philippe Mathieu-Daudé
On 10/6/20 6:01 AM, Jan Kiszka wrote: > On 05.10.20 22:52, Joseph Myers wrote: >> On Mon, 5 Oct 2020, Alex Bennée wrote: >> >>> Joseph Myers writes: >>> On Sun, 4 Oct 2020, Philippe Mathieu-Daudé wrote: > There is a number of contributors from this domain, > add its own entry to

Re: [RFC PATCH 08/21] contrib/gitdm: Add Mentor Graphics to the domain map

2020-10-05 Thread Jan Kiszka
On 05.10.20 22:52, Joseph Myers wrote: > On Mon, 5 Oct 2020, Alex Bennée wrote: > >> Joseph Myers writes: >> >>> On Sun, 4 Oct 2020, Philippe Mathieu-Daudé wrote: >>> There is a number of contributors from this domain, add its own entry to the gitdm domain map. >>> >>> At some point

Re: [RFC PATCH 08/21] contrib/gitdm: Add Mentor Graphics to the domain map

2020-10-05 Thread Joseph Myers
On Mon, 5 Oct 2020, Alex Bennée wrote: > Joseph Myers writes: > > > On Sun, 4 Oct 2020, Philippe Mathieu-Daudé wrote: > > > >> There is a number of contributors from this domain, > >> add its own entry to the gitdm domain map. > > > > At some point the main branding will be Siemens; not sure

Re: [RFC PATCH 08/21] contrib/gitdm: Add Mentor Graphics to the domain map

2020-10-05 Thread Alex Bennée
Joseph Myers writes: > On Sun, 4 Oct 2020, Philippe Mathieu-Daudé wrote: > >> There is a number of contributors from this domain, >> add its own entry to the gitdm domain map. > > At some point the main branding will be Siemens; not sure how you want to > handle that. We've already done

Re: [RFC PATCH 08/21] contrib/gitdm: Add Mentor Graphics to the domain map

2020-10-05 Thread Joseph Myers
On Sun, 4 Oct 2020, Philippe Mathieu-Daudé wrote: > There is a number of contributors from this domain, > add its own entry to the gitdm domain map. At some point the main branding will be Siemens; not sure how you want to handle that. -- Joseph S. Myers jos...@codesourcery.com