More consistent CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
865f16d0
, finished
Related merge request !503 to merge bind-scope-fin
5 minutes 2 seconds, queued for 1 seconds