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 3c7e8a9df0c..fdb63d9b1fc 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -505,6 +505,7 @@ Konrad Trifunovic konrad.trifunovic@inria.fr David Ung davidu@mips.com Neil Vachharajani nvachhar@gmail.com Kris Van Hees kris.van.hees@oracle.com +Tom de Vries tom@codesourcery.com Nenad Vukicevic nenad@intrepid.com Feng Wang fengwang@nudt.edu.cn Stephen M. Webb stephen.webb@bregmasoft.com |