Fix some issues reported by lintian#3
Merged
hpreusse merged 3 commits intodebian-tex:masterfrom Sep 23, 2021
debian-janitor:lintian-fixes
Merged
Fix some issues reported by lintian#3hpreusse merged 3 commits intodebian-tex:masterfrom debian-janitor:lintian-fixes
hpreusse merged 3 commits intodebian-tex:masterfrom
debian-janitor:lintian-fixes