On Thu, 2020-04-23 at 13:48 +0200, Michael Weghorn wrote: that daily builds are missing because of a probable hardware problem on the build machine. Thank you, Michael. I shall check the download site occasionally. Terry.