Commit 6d03501bcae9249dd87dad2cb7feb78d5fcfd89a

Stefano Lattarini 2013-06-03T15:25:50

Merge branch 'micro' into maint * micro: NEWS: minor fixlets, re-wording, and better text wrapping tests: slightly stricter checks in t/cxx-demo.sh tests: fix spurious failure when 'etags' program is Exuberant Ctags tests: fix spurious failure due to missing sleeps