Merge branch 'lintian-fixes' into 'master'
authorRaphaël Hertzog <hertzog@debian.org>
Mon, 17 Feb 2020 09:53:41 +0000 (09:53 +0000)
committerRaphaël Hertzog <hertzog@debian.org>
Mon, 17 Feb 2020 09:53:41 +0000 (09:53 +0000)
Fix some issues reported by lintian

See merge request live-team/live-boot!27


Trivial merge