Merge branch 'ralf/comments' into 'master'

typeclass comments

See merge request robbertkrebbers/coq-stdpp!24
5 jobs for master in 7 minutes and 36 seconds
Status Job ID Name Coverage
  Build
passed #6244
fp-timing
build-coq.8.6.1

00:02:08

passed #6243
fp-timing
build-coq.8.7.0

00:02:03

 
  Deploy
passed #6245
opam

00:00:13

 
  Build More
passed #6247
fp-timing
build-coq.8.6

00:02:08

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

00:05:12