]> git.saurik.com Git - bison.git/commitdiff
projects / bison.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from: 5271871)
Merge remote-tracking branch 'origin/maint'
authorAkim Demaille <akim@lrde.epita.fr>
Tue, 5 Jun 2012 12:06:08 +0000 (14:06 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Tue, 5 Jun 2012 12:07:43 +0000 (14:07 +0200)
* origin/maint:
  version 2.5.1
  NEWS: prepare for 2.5.1.
  maint: update release procedure
  maint: fix comment typos
  maint: post-release administrivia

Conflicts:
NEWS


No differences found
bison