Revision da6f3bb6dd32d3a74e3c2c755c8246af9c054379

Committed on 11/05/2017 9:09 am by Fabien Potencier <fabien.potencier@gmail.com> [GitHub Diff]

Merge branch '4.0'

* 4.0:
Improve CLI error message