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)
commitef866fdbab3cc24dab6aa56054f6779398bced2a
treef6e052f89e03ca71468b85b501b9a08deb0e8b72
parent24f24527072efedbdb4f689a0f5253534aa403e5
parent56ec826fbe66584bb41d3b0460aec362886f14c3
Merge branch 'master' into 'master'

Fix leading space in DEVICE setting

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