Merge branch 'master' into 'master'

Fix a typo in compatibility.v

See merge request !3
2 jobs for master in 4 minutes and 23 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #96777
fp
build-coq.8.11.2

00:04:16

passed #96776
fp
build-coq.8.12.0

00:04:23