Revision 5e09cdc815ad9e0a3f00af07b371e2eca0c0eabc

Committed on 20/01/2020 8:42 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

Drop support for PHP 7.1 and PHP 7.2

Share your information