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é
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
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
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
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
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
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
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