Merge branch 'master' into develop

This commit is contained in:
Adrien Crivelli 2018-12-10 18:10:37 +11:00
commit 00003fbe68
No known key found for this signature in database
GPG Key ID: B182FD79DC6DE92E
1 changed files with 0 additions and 1 deletions

View File

@ -1,6 +1,5 @@
language: php
dist: trusty
sudo: false
php:
- 5.6