Merge pull request #3131 from mhei/php7
authorMichael Heimpold <mhei@heimpold.de>
Sat, 3 Sep 2016 19:59:37 +0000 (21:59 +0200)
committerGitHub <noreply@github.com>
Sat, 3 Sep 2016 19:59:37 +0000 (21:59 +0200)
commit6695e1be7e4a2ed4e3db32bbbecf9dfaee9c3cff
tree2a65104a5e2151f4ea1b2dbe99627abd8c4a5900
parent1034356e9ec5d7e732d005c8ac6ba7c731bc31a8
parent2c94623986019d97c21a26b6d77eed1f340af12a
Merge pull request #3131 from mhei/php7

Add php7 packages