From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <55910060.1090605@grinta.net> Date: Mon, 29 Jun 2015 10:22:56 +0200 From: Daniele Nicolodi MIME-Version: 1.0 References: <558993D6.8080108@xenomai.org> <558BDB3E.4060405@grinta.net> <558BDED2.20300@xenomai.org> In-Reply-To: <558BDED2.20300@xenomai.org> 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: xenomai@xenomai.org On 25/06/15 12:58, Philippe Gerum wrote: > 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. Hello Philippe, sorry for bothering you again, but it looks like the tag has been applied to the "next" branch and not on the "master" branch, or at least the changesets for rc5 have not been pushed to the master branch. Is this intended? Cheers, Daniele