Merge pull request #7865 from localheinz/fix/sudo

Fix: Remove sudo configuration
main
Jordi Boggiano 6 years ago committed by GitHub
commit eda9399f80
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1,7 +1,5 @@
language: php
sudo: false
dist: trusty
git:

Loading…
Cancel
Save