Revision 1f607717efe88a8293135526d72a99aafc491e5d

Committed on 22/08/2017 3:21 pm by Fabien Potencier <fabien.potencier@gmail.com> [GitHub Diff]

Merge branch '4.1'

* 4.1:
Fix setting certificate locations