Merge pull request #14959 from frederic34/patch-4

Deprecated: The key sudo has no effect anymore.
This commit is contained in:
Laurent Destailleur 2020-10-08 19:31:48 +02:00 committed by GitHub
commit 605948345c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -6,7 +6,8 @@
os: linux
dist: xenial
#dist: bionic
sudo: required
# Deprecated: The key sudo has no effect anymore.
#sudo: required
language: php