maintainers: separate main tree and devtools maintenance
authorThomas Monjalon <thomas@monjalon.net>
Tue, 19 Sep 2017 15:48:48 +0000 (17:48 +0200)
committerThomas Monjalon <thomas@monjalon.net>
Fri, 22 Sep 2017 13:42:24 +0000 (15:42 +0200)
commiteb13bc435929ca6ea101fec117cb63ae2d11d900
treedcf235c9032f02ba2d5c29a08b3d997e01835dfe
parent5d65895d9cc5b180a4ccd93185f2ab3b60c3b853
maintainers: separate main tree and devtools maintenance

Being the maintainer of devtools is different of
maintaining the main tree.

Signed-off-by: Thomas Monjalon <thomas@monjalon.net>
MAINTAINERS