Merge pull request #5237 from lynxis/rb_php7
authorMichael Heimpold <mhei@heimpold.de>
Fri, 15 Dec 2017 21:55:49 +0000 (22:55 +0100)
committerGitHub <noreply@github.com>
Fri, 15 Dec 2017 21:55:49 +0000 (22:55 +0100)
commitea9a7b5d4508f8511ef5fb0e3e1d81245c014499
treee0d60c669053428dece9e6bb259ea9ebc7a7b859
parentfcfaa71b1d4bcc3246c68df7167bfa6cb0690f6d
parent5dbbb1ba113244ba984bc9f1560511a3e0d39951
Merge pull request #5237 from lynxis/rb_php7

php7: remove build timestamp