Merge branch 'lintian-fixes' into 'debian/sid'
authorStéphane Glondu <glondu@debian.org>
Thu, 25 Nov 2021 14:37:06 +0000 (14:37 +0000)
committerStéphane Glondu <glondu@debian.org>
Thu, 25 Nov 2021 14:37:06 +0000 (14:37 +0000)
Fix some issues reported by lintian

See merge request ocaml-team/ocaml!2


Trivial merge