Merge branch 'master' into 'master'
authorLuca Boccassi <bluca@debian.org>
Tue, 4 Aug 2020 10:01:53 +0000 (10:01 +0000)
committerLuca Boccassi <bluca@debian.org>
Tue, 4 Aug 2020 10:01:53 +0000 (10:01 +0000)
Fix leading space in DEVICE setting

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


Trivial merge