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
