Tweak CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
1dd6bcab
, finished
Related merge request !570 to merge robbert/string_notation
2 minutes 54 seconds, queued for 1 seconds