diff options
| -rw-r--r-- | MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index bf4006c..b22f930 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -352,6 +352,7 @@ Gabriel Charette <gchare@google.com> Chandra Chavva <cchavva@redhat.com> Dehao Chen <dehao@google.com> Fabien Chêne <fabien@gcc.gnu.org> +Clément Chigot <clement.chigot@atos.net> Harshit Chopra <harshit@google.com> Tamar Christina <tamar.christina@arm.com> Eric Christopher <echristo@gmail.com> |