Write CHANGELOG in present tense.
Passed
Robbert Krebbers
created pipeline for commit
bdf49b49
, finished
Related merge request !386 to merge set_lemmas
4 minutes 35 seconds, queued for 1 seconds