On Fri, Aug 23, 2019 at 11:07:49PM -0400, Stephen Frost wrote:> Buildfarm didn't particularly like this.
Thanks, I have noticed that. The problem should be fixed now thanksto 06fdc4e.--Michael