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)
php7: remove build timestamp


Trivial merge