Re: Problem with building poppler

[Dave Horsfall]

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