CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
aed9bd8a
, finished
Related merge request !297 to merge robbert/curry
4 minutes 36 seconds, queued for 4 seconds