Revision f2cff46cd192b5cada14f32b8eee4991802af82b

Committed on 18/12/2019 4:33 am by Bertrand Dunogier <bertrand.dunogier@ez.no> [GitHub Diff]

Travis: removed PHP 7.1, added 7.4