From mboxrd@z Thu Jan  1 00:00:00 1970
From: xenomai@xenomai.org
Subject: [I-PIPE] ipipe-core-4.14.71-x86-1 released
Message-Id: <E1gHtLQ-0002Ik-FR@xenomai.org>
Date: Wed, 31 Oct 2018 17:27:48 +0100
List-Id: Discussions about the Xenomai project <xenomai.xenomai.org>
List-Unsubscribe: <https://xenomai.org/mailman/options/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=unsubscribe>
List-Archive: <http://xenomai.org/pipermail/xenomai/>
List-Post: <mailto:xenomai@xenomai.org>
List-Help: <mailto:xenomai-request@xenomai.org?subject=help>
List-Subscribe: <https://xenomai.org/mailman/listinfo/xenomai>,
 <mailto:xenomai-request@xenomai.org?subject=subscribe>
To: xenomai@xenomai.org

Download URL: https://xenomai.org/downloads/ipipe/v4.x/x86/ipipe-core-4.14.71-x86-1.patch

Repository: https://git.xenomai.org/ipipe-x86
Release tag: ipipe-core-4.14.71-x86-1