Commit 0985d6733053662d4117f4a740032e4c472b4f6a

Stefano Lattarini 2013-05-16T13:46:17

Merge branch 'maint' * maint: tests: remove remaining exec bits ('maint' branch) tests: remove exec bit from all of them ('micro' branch) maint: tests no longer need to have executable bit set PLANS: subdir-objects: various updates