Merge branch 'master' into staging

This commit is contained in:
Guillaume Le Vaillant 2020-10-05 14:17:25 +02:00
commit 87c079d9b5
No known key found for this signature in database
GPG key ID: 6BE8208ADF21FE3F
283 changed files with 14414 additions and 7864 deletions

View file

@ -1030,7 +1030,7 @@ library's promised without anyone noticing.
This package provides a disciplined way of specifying such properties, and
have them checked by the compiler. This way, this checking can be part of the
ususal development cycle and regressions caught early.
regular development cycle and regressions caught early.
See the documentation in \"Test.Inspection\" or the project webpage for more
examples and more information.")