Revision 5e09cdc815ad9e0a3f00af07b371e2eca0c0eabc

Committed on 20/01/2020 8:42 am by Sebastian Bergmann <[email protected]> [GitHub Diff]

Drop support for PHP 7.1 and PHP 7.2