Try to restart mysql

This commit is contained in:
Dennis Eichhorn 2018-08-04 16:19:57 +02:00
parent 75c3ca9ffc
commit 7b799ee7d8

View File

@ -1,6 +1,6 @@
language: php
sudo: true
dist: trusty
sudo: required
php:
- '7.2'
- nightly