Skip to content

Use dist: precise for PHP 5.3, dist: trusty for everything else#6

Merged
gitlost merged 1 commit intomasterfrom
use-trusty
Aug 4, 2017
Merged

Use `dist: precise` for PHP 5.3, `dist: trusty` for everything else#6
gitlost merged 1 commit intomasterfrom
use-trusty

Commits