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 87fb9dd..9cd55ef 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -555,6 +555,7 @@ Dinar Temirbulatov dtemirbulatov@gmail.com Kresten Krab Thorup krab@gcc.gnu.org Caroline Tice cmtice@google.com Kyrylo Tkachov kyrylo.tkachov@arm.com +Ilya Tocar tocarip@gmail.com Konrad Trifunovic konrad.trifunovic@inria.fr Markus Trippelsdorf markus@trippelsdorf.de David Ung davidu@mips.com |