CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
28143e23
, finished
Related merge request !458 to merge herman/vec_finite
8 minutes 13 seconds, queued for 33 seconds