Kristiaan Van den Eynde pushed to project branch 3399569-adopt-gitlab-ci at Issue forks / group-3399569

Kristiaan Van den Eynde
2023-12-07T12:09:42Z

Kristiaan Van den Eynde (3ff1ee8e) at 07 Dec 12:09

Further improve typehinting of prophecy