Commit 95b837cfa47c4d82cc4a3adc5cb6f8e736cacf72

Stefano Lattarini 2013-05-09T20:11:47

Merge branch 'maint' * maint: tests: avoid spurious failure with older flex (2.5.4) announcement: cater to more flexible NEWS format