CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
85e2f569
, finished
Related merge request !565 to merge robbert/map_fold_foldr
2 minutes 52 seconds, queued for 2 seconds