Hello Jeff, Thanks to point out that. I forgot to precise that the default branch dev_1.3 is set on SF web site GIT code page.
When you clone with GIT you have to checkout the wanted branch, for instance: $ git checkout dev_1.3 or a particular label: $ git checkout V1.3a Regards, Pascal. http://blady.pagesperso-orange.fr > Le 1 nov. 2017 à 11:57, Jeffrey R. Carter <jrcar...@acm.org> a écrit : > > On 11/01/2017 11:40 AM, Pascal via Gnoga-list wrote: >> Version 1.3a has been released on SF GIT dev_1.3 branch. >> https://sourceforge.net/p/gnoga/code/ci/dev_1.3/tree/ >> >> See HISTORY for details. >> >> This branch is now the default one. > > Not quite: > > ~/Code/gnoga$ git pull > Already up-to-date. > ~/Code/gnoga$ git branch > * master > ~/Code/gnoga$ git describe > V1.2b > > -- > Jeff Carter > "Monsieur Arthur King, who has the brain of a duck, you know." > Monty Python & the Holy Grail > 09 ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ Gnoga-list mailing list Gnoga-list@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/gnoga-list
