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

Peter Vlasveld
2024-01-07T19:49:39Z

Peter Vlasveld (81094367) at 07 Jan 19:49

more CI stuff