Skip to content
Snippets Groups Projects

Remove remaining usages of old forall_inst argument style

Passed
Hans-Jörg created pipeline for commit 3aa3581b
, finished
For devel/new-forall_inst
latest
1 job 57 seconds, queued for 2 seconds