CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
54efa2cd
, finished
Related merge request !307 to merge robbert/empty_iff
5 minutes 9 seconds, queued for 4 seconds