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 Name Job ID Coverage
  Build
passed build-coq.8.6.1 #6244
fp-timing

00:02:08

passed build-coq.8.7.0 #6243
fp-timing

00:02:03

 
  Deploy
passed opam #6245

00:00:13

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

00:02:08

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

00:05:12