From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4FB60635.5010208@domain.hid>
Date: Fri, 18 May 2012 10:20:05 +0200
From: Philippe Gerum <rpm@xenomai.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Xenomai-core] [REMINDER] Migrating Xenomai mailing lists
List-Id: Xenomai life and development <xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/options/xenomai-core>,
	<mailto:xenomai-core-request@domain.hid>
List-Archive: </public/xenomai-core>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-core-request@domain.hid>
List-Subscribe: <https://mail.gna.org/listinfo/xenomai-core>,
	<mailto:xenomai-core-request@domain.hid>
To: Xenomai-help@domain.hid, Xenomai-core@domain.hid, adeos-main <adeos-main@gna.org>


We will soon be moving all our mailing lists out of gna.org to host them 
on xenomai.org instead.

At this chance, xenomai@xenomai.org, xenomai@xenomai.org and 
adeos-main@gna.org will be merged into a single list named 
xenomai@domain.hid. These are low traffic lists, so we want to group 
all Xenomai-related discussions in one place.

Commits to the development trees will be sent to
xenomai-git@xenomai.org.

The migration is scheduled for May 19, all current subscribers of the 
former lists will be automatically subscribed to xenomai@domain.hid.
You will receive an automated mail from our Mailman when this happens.

The Mailman interface to the new lists is available at: 
http://www.xenomai.org/mailman/listinfo/xenomai.

Please drop a mail to mailman@domain.hid in case of issue.

Thanks,

-- 
Philippe.