Merge branch 'maint' into yacc-work
authorStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 15 Apr 2011 15:43:28 +0000 (17:43 +0200)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 15 Apr 2011 15:43:28 +0000 (17:43 +0200)
commit92efa457efce86a1b9c4dfa928d6c9e37c0736ea
tree719a6d03128d440cd44ce94aaf47487e0e97f2ae
parenta0e045d60639b630b06214a3f05f9f353ed73a63
parenta937127aa2ed5f831459716f7f922c894e3e4eb2
Merge branch 'maint' into yacc-work
ChangeLog
tests/defs.in