Merge branch 'micro' into minor * micro: shell-no-trail-bslash: improve diagnostic in case of failure
2014-12-30T14:49:46