09-18-2020, 02:10 PM
Hi Dale,
Thanks we have identified the cause of the bug.
We will be releasing a new version of Ludii later today that should fix this issue.
Cheers,
Matthew
Thanks we have identified the cause of the bug.
We will be releasing a new version of Ludii later today that should fix this issue.
Cheers,
Matthew