diff options
Diffstat (limited to 'MAINTAINERS')
| -rw-r--r-- | MAINTAINERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/MAINTAINERS b/MAINTAINERS index 62a4f780f9c..87ccb3e38c5 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -428,6 +428,7 @@ Jakub Staszak kuba@et.pl Graham Stott graham.stott@btinternet.com Mike Stump mrs@apple.com Jeff Sturm jsturm@gcc.gnu.org +Gabriele Svelto gabriele.svelto@st.com Samuel Tardieu sam@rfc1149.net Kresten Krab Thorup krab@gcc.gnu.org Caroline Tice ctice@apple.com |