From mboxrd@z Thu Jan 1 00:00:00 1970 From: Thomas Leonard Subject: Re: Mini-os mailing list Date: Wed, 06 May 2015 18:47:38 +0100 Message-ID: References: <21703.31579.502083.957390@mariner.uk.xensource.com> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: xen-devel@lists.xensource.com List-Id: xen-devel@lists.xenproject.org On 01/29/2015 05:04 PM, George Dunlap wrote: > On Tue, Jan 27, 2015 at 6:49 AM, Ian Jackson wrote: >> We are splitting minios out of xen.git (because we want to try to make >> it easier to un-fork it - there are about 3-4 forks that we are aware >> of). >> >> We think it should have its own mailing list. I propose >> "minios-devel@lists.xenproject.org". >> >> Existing subscribers to xen-devel should continue to get the minios >> traffic. This is probably best done by having the initial subscriber >> list be populated from the subscribers to xen-devel. >> >> Is there any objection to me just doing this ? > > Not from me. > > -George Did this ever happen? Having a separate list would be very useful.