Changelog tweaks, e.g. order contributes by first name.
Passed
Robbert Krebbers
created pipeline for commit
0b3d1e9f
, finished
For master
9 minutes 41 seconds, queued for 217 seconds