Revision f2cff46cd192b5cada14f32b8eee4991802af82b

Committed on 18/12/2019 4:33 am by Bertrand Dunogier <[email protected]> [GitHub Diff]

Travis: removed PHP 7.1, added 7.4