Merge pull request #5201 from lucize/php7imap
authorMichael Heimpold <mhei@heimpold.de>
Fri, 1 Dec 2017 17:25:12 +0000 (18:25 +0100)
committerGitHub <noreply@github.com>
Fri, 1 Dec 2017 17:25:12 +0000 (18:25 +0100)
php7: try fix imap build-bot build


Trivial merge