CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
c2d43491
, finished
Related merge request !270 to merge robbert/Permutation
4 minutes 59 seconds, queued for 7 seconds