Merge branch 'master' of git://git.exim.org/buildfarm-server
authorExim Build Farm <farm@buildfarm.exim.org>
Thu, 22 Feb 2018 13:16:53 +0000 (14:16 +0100)
committerExim Build Farm <farm@buildfarm.exim.org>
Thu, 22 Feb 2018 13:16:53 +0000 (14:16 +0100)

Trivial merge