Revision c89ea8d875c42f20a782a6ce702a06194a93609c

Committed on 06/06/2018 11:17 pm by Fabien Potencier <fabien@potencier.org> [GitHub Diff]

removed unneeded backslash for 5.2 compat