Fix some issues reported by lintian#1
Merged
norbusan merged 4 commits intodebian-tex:masterfrom Dec 11, 2019
debian-janitor:lintian-fixes
Merged
Fix some issues reported by lintian#1norbusan merged 4 commits intodebian-tex:masterfrom debian-janitor:lintian-fixes
norbusan merged 4 commits intodebian-tex:masterfrom
debian-janitor:lintian-fixes