[FYI] Merge branch 'micro' into master

[Stefano Lattarini]

commit 649c03b464cf55f50e696ebea482c65339ff4832
Merge: c98d523 eefd01b
Author: Stefano Lattarini <stefano.lattar...@gmail.com>
Date:   Wed May 29 14:54:47 2013 +0200

    Merge branch 'micro' into maint

    * micro:
      t/README: document "run_make", discourage "make -e"
      cosmetics: tiny whitespace fixlets
      tests: avoid a spurious failure with MSVC
      tests: avoid a spurious failure on non-POSIX systems