CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
35797f91
, finished
Related merge request !492 to merge robbert/set_fold_proper_preorder
4 minutes 23 seconds, queued for 1 seconds