Revision 1b417bfb2a5fc3cc4321a2ab47447871734e02ee

Committed on 08/02/2019 5:47 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

Do not test against PHP master (which already is PHP 8)