CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
6f9dea44
, finished
Related merge request !373 to merge robbert/pigeon_hole
4 minutes 16 seconds, queued for 4 seconds