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 595140b..f26db19 100644 --- a/MAINTAINERS +++ b/MAINTAINERS @@ -915,6 +915,7 @@ information. Juergen Christ <jchrist@linux.ibm.com> Robin Dapp <rdapp.gcc@gmail.com> Robin Dapp <rdapp@ventanamicro.com> +Pranil Dey <mkdeyp@gmail.com> Michal Jires <mjires@suse.cz> Matthias Kretz <m.kretz@gsi.de> Prathamesh Kulkarni <prathameshk@nvidia.com> |