Peter Vlasveld pushed to project branch master at Peter Vlasveld / logic2020

Peter Vlasveld
2024-01-07T19:19:20Z

Peter Vlasveld (9a2b357e) at 07 Jan 19:19

more tests of gitlab CI pipeline