Revision f679330f99862b4a00d6b4591ac3ff6e0e0eaa3b

Committed on 15/10/2018 5:50 pm by Fabien Potencier <fabien@potencier.org> [GitHub Diff]

fixed empty error