Use dist: precise for PHP 5.3, dist: trusty for everything else#28
Merged
gitlost merged 1 commit intomasterfrom use-trustyAug 4, 2017
+2
dist: precise for PHP 5.3, dist: trusty for everything else#28