Fix some issues reported by lintian#2
Merged
norbusan merged 2 commits intodebian-tex:masterfrom May 6, 2020
debian-janitor:lintian-fixes
Merged
Fix some issues reported by lintian#2norbusan merged 2 commits intodebian-tex:masterfrom debian-janitor:lintian-fixes
norbusan merged 2 commits intodebian-tex:masterfrom
debian-janitor:lintian-fixes