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 136e504f1d1..7c1219b3c69 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -436,6 +436,7 @@ Caroline Tice ctice@apple.com Michael Tiemann tiemann@redhat.com Kai Tietz kai.tietz@onevision.com David Ung davidu@mips.com +Kris Van Hees kris.van.hees@oracle.com Jonathan Wakely redi@gcc.gnu.org Feng Wang fengwang@nudt.edu.cn Stephen M. Webb stephen.webb@bregmasoft.com |