CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
3f1dfd48
, finished
Related merge request !467 to merge robbert/map_zip_fst_snd
4 minutes 42 seconds, queued for 3 seconds