diff options
| -rw-r--r-- | MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index 6c08de0..3257979 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -218,6 +218,7 @@ Chandra Chavva cchavva@redhat.com William Cohen wcohen@redhat.com R. Kelley Cook kcook@gcc.gnu.org Christian Cornelssen ccorn@cs.tu-berlin.de +François-Xavier Coudert coudert@clipper.ens.fr David Daney ddaney@avtrex.com Bud Davis bdavis9659@comcast.net Chris Demetriou cgd@broadcom.com |