MAINTAINERS: mini-os patches should be copied to minios-devel

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Cc: samuel.thibault@ens-lyon.org
Cc: stefano.stabellini@eu.citrix.com
Cc: minios-devel@lists.xenproject.org
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>

diff --git a/MAINTAINERS b/MAINTAINERS
index 759de1b554e356c9da31877ea749cae136528e1a..e3766469ec0548c85d35063cd682f4791debad1f 100644 (file)
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -234,6 +234,7 @@ MINI-OS
 M:     Stefano Stabellini <stefano.stabellini@eu.citrix.com>
 M:     Samuel Thibault <samuel.thibault@ens-lyon.org>
 S:     Supported
+L:     minios-devel@lists.xenproject.org
 F:     config/MiniOS.mk
 F:     extras/mini-os/