revert accidentally changed changelog

5 jobs for master in 5 minutes and 37 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed build-coq.8.6.1 #4626
fp-timing

00:02:43

passed build-coq.8.7.0 #4625
fp-timing

00:02:34

passed build-coq.8.7.dev #4624
fp-timing

00:02:49

 
  Deploy
passed opam #4627

00:00:14

passed reverse-deps #4628

00:00:13