From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4741824A.1090309@domain.hid>
Date: Mon, 19 Nov 2007 13:32:10 +0100
From: Philippe Gerum <rpm@xenomai.org>
MIME-Version: 1.0
References: <4739E07B.1000608@domain.hid>
	<200711142214.17651.paul_c@domain.hid>
	<200711150013.51123.lepalom@domain.hid>
	<200711152202.11279.paul_c@domain.hid>
In-Reply-To: <200711152202.11279.paul_c@domain.hid>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Sender: Philippe Gerum <philippe.gerum@domain.hid>
Subject: Re: [Xenomai-core] [Xenomai-help] Xenomai v2.4-rc6
Reply-To: rpm@xenomai.org
List-Id: "Xenomai life and development \(bug reports, patches,
	discussions\)" <xenomai.xenomai.org>
List-Unsubscribe: <https://mail.gna.org/listinfo/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: Paul <paul_c@domain.hid>
Cc: xenomai@xenomai.org, xenomai@xenomai.org, lepalom@domain.hid

Paul wrote:
> 
> Fixed with the new patch.

Merged, thanks.

-- 
Philippe.