PR middle-end/20493

[pf3gnuchains/gcc-fork.git] / MAINTAINERS

diff --git a/MAINTAINERS b/MAINTAINERS
index 6c08de0..3257979 100644 (file)
--- 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