Merge branch 'master' into jens1o-add-final-command

This commit is contained in:
Jens Hausdorf 2017-11-05 18:30:26 +01:00 committed by GitHub
commit aabb1fdf8e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -17,11 +17,8 @@ php:
- 5.6
- 7.0
- 7.1
- hhvm
matrix:
allow_failures:
- php: hhvm
include:
- php: 5.4
env: COMPOSER_FLAGS="--prefer-lowest"