Changelog tweaks, e.g. order contributes by first name.

8 jobs for master in 9 minutes and 41 seconds (queued for 3 minutes and 37 seconds)
Status Job ID Name Coverage
  Build
passed #39496
fp
build-coq.8.10.dev

00:07:27

passed #39502
fp
build-coq.8.7.2

00:02:45

passed #39501
fp-timing
build-coq.8.8.0

00:02:47

passed #39500
fp
build-coq.8.8.1

00:02:46

passed #39499
fp
build-coq.8.8.2

00:02:58

passed #39498
fp-timing
build-coq.8.9.0

00:03:05

passed #39497
fp
build-coq.8.9.1

00:03:27

passed #39495
fp
build-coq.dev

00:08:13