Revision da6f3bb6dd32d3a74e3c2c755c8246af9c054379

Committed on 11/05/2017 9:09 am by Fabien Potencier <[email protected]> [GitHub Diff]

Merge branch '4.0'

* 4.0:
Improve CLI error message