Merge branch 'robbert/seq_notation_space' into 'master'

Remove space before `;;` in format directive.

See merge request !336
6 jobs for master in 17 minutes and 6 seconds
Status Job ID Name Coverage
  Build
passed #47306
fp
build-coq.8.10.0

00:10:01

passed #47305
fp-timing
build-coq.8.10.1

00:07:09

passed #47309
fp
build-coq.8.8.2

00:08:56

passed #47308
fp
build-coq.8.9.0

00:09:40

passed #47307
fp
build-coq.8.9.1

00:09:33

passed #47304
fp
build-coq.dev

00:17:03