From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <51C44540.4090003@xenomai.org>
Date: Fri, 21 Jun 2013 14:21:20 +0200
From: Philippe Gerum <rpm@xenomai.org>
MIME-Version: 1.0
References: <6e8df1d491e0641abf69.1371670715@BEANTN0L019720>
In-Reply-To: <6e8df1d491e0641abf69.1371670715@BEANTN0L019720>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Xenomai] [PATCH] xeno-config: remove duplicate include flags,
 already present in XENO_BASE_CFLAGS
List-Id: Discussions about the Xenomai project <xenomai.xenomai.org>
List-Unsubscribe: <http://www.xenomai.org/mailman/options/xenomai>,
	<mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://www.xenomai.org/pipermail/xenomai>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <http://www.xenomai.org/mailman/listinfo/xenomai>,
	<mailto:xenomai-request@xenomai.org?subject=subscribe>
To: Thomas De Schampheleire <patrickdepinguin@gmail.com>
Cc: xenomai@xenomai.org

On 06/19/2013 09:38 PM, Thomas De Schampheleire wrote:
> Signed-off-by: Thomas De Schampheleire <thomas.de.schampheleire@gmail.com>
>

Merged, thanks.

-- 
Philippe.