Merge branch 'clarify-which-bsd' into 'master'

LICENSE-CODE: Clarify which BSD license is being used

See merge request !472
2 jobs for master in 20 minutes and 8 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build
passed #79590
fp
build-stdpp.dev-coq.8.11.2

00:10:21

passed #79592
fp
build-stdpp.dev-coq.dev

00:20:07