Improve CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
f4d2074d
, finished
Related merge request !517 to merge robbert/take_drop_reverse
5 minutes 35 seconds, queued for 3 seconds