CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
a35dedaf
, finished
Related merge request !265 to merge robbert/kmap
4 minutes 33 seconds, queued for 3 seconds