Commit 6aaa128d3a20fd3e3cc60a695be1f7368203a688

Stefano Lattarini 2013-05-16T13:35:45

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