From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <4378A718.80105@domain.hid>
Date: Mon, 14 Nov 2005 16:02:48 +0100
From: Philippe Gerum <rpm@xenomai.org>
MIME-Version: 1.0
Subject: Re: [Xenomai-core] [BUG] rt_pipe_flush declaration missing
	in	skins/native/pipe.h
References: <4370641D.7010906@domain.hid>	<4370C966.3030903@domain.hid>	<4370D2B8.8070608@domain.hid>	<4370E49F.3070305@domain.hid>
	<437886EF.6070001@domain.hid>
In-Reply-To: <437886EF.6070001@domain.hid>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: quoted-printable
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: =?ISO-8859-1?Q?Ignacio_Garc=EDa_P=E9rez?= <iggarpe@domain.hid>
Cc: xenomai-core <xenomai@xenomai.org>

Ignacio Garc=EDa P=E9rez wrote:
> Hi,
>=20
> The subject says it all.
>

Fixed, thanks.

PS: please send patches when possible, it's faster to handle for me and l=
ess=20
likely to be forgotten in my job queue. TIA,

> Nacho.
>=20
> _______________________________________________
> Xenomai-core mailing list
> Xenomai-core@domain.hid
> https://mail.gna.org/listinfo/xenomai-core
>=20


--=20

Philippe.