CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
2db43fb2
, finished
Related merge request !496 to merge ralf/fmap_inj
4 minutes 22 seconds, queued for 2 seconds