Merge branch 'maint' into yacc-work
authorStefano Lattarini <stefano.lattarini@gmail.com>
Tue, 27 Dec 2011 21:47:43 +0000 (22:47 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Tue, 27 Dec 2011 21:47:43 +0000 (22:47 +0100)
commit65a1bf9980d62187708f78b53a4e92907677aa99
tree77fc74b1c335688514411f8b2af65c27192013f7
parentf0645e2ddf6327fafdd072d1c30d15f48510e605
parentf533e9d43dfe84f0e1706855bdd49579df5c4f5b
Merge branch 'maint' into yacc-work

* maint:
  fix: last ChangeLog entry
ChangeLog