Revision 8223b2f741e6feb9e7b55a88c0af4a4cb5f82567

Committed on 23/11/2019 4:08 am by Jérôme Vieilledent <[email protected]> [GitHub Diff]

Fix compatibility with PHPUnit 8