Problem building current master

[Alan DeKok]

On Jun 22, 2023, at 5:16 AM, Ľudovít Mikula <ludovit.mikula at 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.