[FYI] Merge branch 'micro' into maint

[Stefano Lattarini]

commit 6aaa128d3a20fd3e3cc60a695be1f7368203a688
Merge: 5969f68 74017b5
Author: Stefano Lattarini <stefano.lattar...@gmail.com>
Date:   Thu May 16 13:35:45 2013 +0200

    Merge branch 'micro' into maint

    * micro:
      tests: remove exec bit from all of them ('micro' branch)
      maint: tests no longer need to have executable bit set