On Mon, 26 Oct 2020, Dave Horsfall wrote: > The "fix" is obvious of course, but before I file a bug report is this a > known problem? Error log available upon request. Hmmm... Looks like the log disappeared after the successful build; rats! -- Dave