Re: [Minios-devel] [PATCH] MAINTAINERS: mini-os patches should be copied to minios-devel

[Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>]

Ian Campbell, on Fri 20 Nov 2015 14:22:11 +0000, wrote:
> Signed-off-by: Ian Campbell <ian.campbell@xxxxxxxxxx>
> Cc: samuel.thibault@xxxxxxxxxxxx
> Cc: stefano.stabellini@xxxxxxxxxxxxx
> Cc: minios-devel@xxxxxxxxxxxxxxxxxxxx

Acked-by: Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>

> ---
>  MAINTAINERS | 1 +
>  1 file changed, 1 insertion(+)
> 
> diff --git a/MAINTAINERS b/MAINTAINERS
> index 759de1b..e376646 100644
> --- a/MAINTAINERS
> +++ b/MAINTAINERS
> @@ -234,6 +234,7 @@ MINI-OS
>  M:   Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>
>  M:   Samuel Thibault <samuel.thibault@xxxxxxxxxxxx>
>  S:   Supported
> +L:   minios-devel@xxxxxxxxxxxxxxxxxxxx
>  F:   config/MiniOS.mk
>  F:   extras/mini-os/
>  
> -- 
> 2.1.4
> 

-- 
Samuel
<N> un driver qui fait quoi, alors ?
<y> ben pour les bips
<s> pour passer les oops en morse
 -+- #ens-mim - vive les rapports de bug -+-

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/minios-devel