Revision dbb74ccad89a81b7bef96b4b8afffae7574c16ec

Committed on 29/10/2017 11:49 am by Fabien Potencier <fabien.potencier@gmail.com> [GitHub Diff]

Merge branch '4.1'

* 4.1:
allowed Console 4.0