From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <558BDED2.20300@xenomai.org> Date: Thu, 25 Jun 2015 12:58:26 +0200 From: Philippe Gerum MIME-Version: 1.0 References: <558993D6.8080108@xenomai.org> <558BDB3E.4060405@grinta.net> In-Reply-To: <558BDB3E.4060405@grinta.net> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Xenomai] [RELEASE] Xenomai 3.0-rc5 List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Daniele Nicolodi , xenomai@xenomai.org On 06/25/2015 12:43 PM, Daniele Nicolodi wrote: > On 23/06/15 19:13, Philippe Gerum wrote: >> >> Unlike originally planned, this is -rc5. We merged way too many changes >> and important fixes since -rc4 for going final directly. > > Hello Philippe, > > it seems that the release has not be tagged in the git repository. Is > this an oversight or am I missing something? > I did not push the tags. My bad. Should be ok now. Thanks for the heads up. -- Philippe.