Merge branch 'PHP-7.2'

* PHP-7.2:
  Fix Travis build
This commit is contained in:
Christoph M. Becker 2018-07-12 13:47:11 +02:00
commit 5f5cf8cb94

View File

@ -1,6 +1,6 @@
dist: trusty
language: c
sudo: false
sudo: required
addons:
apt:
packages: