On 22 Oct 2012, at 17:31, Sergei Steshenko wrote: >>> I just downloaded and installed Bison 2.6.3. >>> "bison --version" says "bison (GNU Bison) 2.6.2.33-cc5a9"; >>> it should say "2.6.3". >> >> Yes, definitely. How can this happen using gnulib's procedure :( >> What would you recommend? Issue another 2.6.3? Jump to 2.6.4? > > Jump to 2.6.4 and declare 2.6.3 a mishap or even simply remove it from > servers.
Indeed, it happened with Guile, and they did just that, issuing a new version, as soon as the bug had been fixed. From what I can see, they did not bother removing it form the servers. Hans