CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
1c3c4b79
, finished
Related merge request !472 to merge robbert/option_union
5 minutes 6 seconds, queued for 4 seconds