Merge branch 'master' of git://git.exim.org/buildfarm-server
authorJeremy Harris <jgh@wizmail.org>
Sun, 4 Mar 2018 16:13:49 +0000 (17:13 +0100)
committerExim Build Farm <farm@buildfarm.exim.org>
Sun, 4 Mar 2018 16:15:45 +0000 (17:15 +0100)

Trivial merge