Skip to content

Fix some issues reported by lintian#123

Open
debian-janitor wants to merge 7 commits intogoogle:debianfrom debian-janitor:lintian-fixes

Commits

Commits on Nov 2, 2022

Commits on Jan 31, 2023