CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
7ff6b913
, finished
Related merge request !449 to merge robbert/union_Some
4 minutes 59 seconds, queued for 6 seconds