CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
4a9d9330
, finished
Related merge request !279 to merge robbert/lookup_merge
4 minutes 39 seconds, queued for 6 seconds