commit 9a1ac8a44383cf291dd1a8d68afc66e4815d8c2e
Merge: d7321a5 126cd52
Author: Stefano Lattarini <stefano.lattar...@gmail.com>
Date: Fri May 10 11:20:24 2013 +0200
Merge branch 'maint' into ng/master
* maint:
am: prefer a shorter idiom where possible
cosmetics: fix few typos, grammaros and missing whitespace
fixup: remove an obsolete comment
docs: we still don't have the promised better Java interface
maint: re-run "make update-copyright" ...
tests: avoid spurious failure with older flex (2.5.4)
announcement: cater to more flexible NEWS format
Signed-off-by: Stefano Lattarini <stefano.lattar...@gmail.com>
