Merge branch 'debian' into 'master'
authorLuca Boccassi <bluca@debian.org>
Wed, 11 Mar 2020 15:12:45 +0000 (15:12 +0000)
committerLuca Boccassi <bluca@debian.org>
Wed, 11 Mar 2020 15:12:45 +0000 (15:12 +0000)
amend copyright

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


Trivial merge