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)
commit6d03501bcae9249dd87dad2cb7feb78d5fcfd89a
treeab765d1b7998bdf66ed486cbfb5a8abc96a561bd
parentb3bf07f7716a9bf965e9cfefa4131a478a188a27
parenta7cf36aeb8a2f42108f16fd7de7131385bd7ca1c
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
NEWS
THANKS