Commit 269893bbd44f3f7ece2d9fbdc6d2dddbec969e6d

Stefano Lattarini 2014-12-28T16:25:28

Merge branch 'micro' into minor * micro: tests: make script 'shell-no-trail-bslash' simpler and more robust