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 b0cf9da458b..7dff9e11860 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -571,6 +571,7 @@ David Ung <davidu@mips.com> Neil Vachharajani <nvachhar@gmail.com> Kris Van Hees <kris.van.hees@oracle.com> Joost VandeVondele <joost.vandevondele@mat.ethz.ch> +Alex Velenko <alex.velenko@arm.com> Ilya Verbin <iverbin@gmail.com> Kugan Vivekanandarajah <kuganv@linaro.org> Tom de Vries <tom@codesourcery.com> |