Merge branch 'micro' into minor
authorStefano Lattarini <stefano.lattarini@gmail.com>
Sun, 28 Dec 2014 15:25:28 +0000 (16:25 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Sun, 28 Dec 2014 15:25:28 +0000 (16:25 +0100)
* micro:
  tests: make script 'shell-no-trail-bslash' simpler and more robust


Trivial merge