From mboxrd@z Thu Jan  1 00:00:00 1970
From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <17235.64049.820385.158554@domain.hid>
Date: Mon, 17 Oct 2005 21:23:29 +0200
Subject: Re: [Xenomai-core] [bug-reminder] user/kernel space header deps
In-Reply-To: <43536E90.2050001@domain.hid>
References: <43536E90.2050001@domain.hid>
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: Jan Kiszka <kiszka@domain.hid>
Cc: xenomai-core <xenomai@xenomai.org>

Jan Kiszka wrote:
 > Hi,
 > 
 > just to avoid that this issue got lost during the migration to Xenomai:

Before it get lost again, maybe you would like to use our brand-new bug
tracker ?

https://gna.org/bugs/?func=additem&group=xenomai

-- 


					    Gilles Chanteperdrix.