Merge branch 'PHP-7.2'

* PHP-7.2:
  Don't need interactive progress on git clones in Travis
This commit is contained in:
Stanislav Malyshev 2018-12-02 16:05:14 -08:00
commit 3faac769fa

View file

@ -1,3 +1,6 @@
git:
quiet: true
dist: xenial
language: c
sudo: required