Merge branch 'micro' into maint
authorStefano Lattarini <stefano.lattarini@gmail.com>
Mon, 3 Jun 2013 13:25:50 +0000 (15:25 +0200)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Mon, 3 Jun 2013 13:25:50 +0000 (15:25 +0200)
* 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

1  2 
NEWS
THANKS

diff --cc NEWS
Simple merge
diff --cc THANKS
Simple merge