Skip to content
Snippets Groups Projects

Update changelog: note that forall_inst was changed

Passed
Hans-Jörg created pipeline for commit 63282d17
, finished
1 related merge request: !7 Update forall_inst
1 job 59 seconds, queued for 1 seconds