Some updates to the CHANGELOG.

4 jobs for master in 2 minutes and 58 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #4329
fp-timing
build-coq.8.6.1

00:02:38

passed #4328
fp-timing
build-coq.8.7

00:02:43

 
  Deploy
passed #4330
opam

00:00:14

passed #4331
reverse-deps

00:00:13