Update lintian overrides
authorStéphane Glondu <glondu@debian.org>
Fri, 18 Aug 2023 15:50:52 +0000 (17:50 +0200)
committerStéphane Glondu <glondu@debian.org>
Fri, 18 Aug 2023 16:08:12 +0000 (18:08 +0200)
commit9f07acb8869e995731a9ff5443e832f6cac1e13b
tree5477be9000a5b68e84ade44c14fff3b9c85e4f9b
parent1bfd16714b61af8ed27518acc71dbda6aab3ea3f
Update lintian overrides
debian/ocaml-base.lintian-overrides
debian/ocaml.lintian-overrides.in