CHANGELOG: comparison change

6 jobs for master in 13 minutes and 49 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
passed build-coq.8.10.dev #34808
fp

00:12:26

passed build-coq.8.7.2 #34812
fp

00:05:34

passed build-coq.8.8.2 #34811
fp

00:06:23

passed build-coq.8.9.0 #34810
fp-timing

00:05:44

passed build-coq.8.9.1 #34809
fp

00:06:55

passed build-coq.dev #34807
fp

00:13:49