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)
commiteec08a94091f6ea310ae5df27d8520f5346c643c
treef67db45c1bd010cd1fe71566c3ce02ab2b5e46f4
parent91a7e4a7a66eb3fa8274342d1407284ef71a5f28
parenteaf47db4705b1c0ba642d929ea148114286a9175
Merge branch 'lintian-fixes' into 'debian/sid'

Fix some issues reported by lintian

See merge request ocaml-team/ocaml!2