On Sun, Mar 29, 2020 at 06:32:53PM -0700, Felix Lechner wrote: > Not sure if Olly's problem with wxwidgets3.0 was related, but it ran > fine. That log is attached as well.
I suspect it wasn't, but I think I didn't get a chance to investigate as
it didn't recur.
Cheers,
Olly
