Re: Problem building current master

On Jun 22, 2023, at 5:16 AM, Ľudovít Mikula <ludovit.mikula@mikori.sk> wrote:

I am having problem compiling current master (tried on fresh clone):

Do a "git pull". The current head works for me. Alan DeKok.