Skip to content
Snippets Groups Projects

tweak comments; changelog

Passed
Ralf Jung created pipeline for commit b4f29dc0
, finished
Related merge request !318 to merge ralf/Forall2
merge request
2 jobs 4 minutes 53 seconds, queued for 3 seconds