Merge branch 'master' into 'master'
authorRaphaël Hertzog <hertzog@debian.org>
Wed, 22 Jan 2020 14:25:29 +0000 (14:25 +0000)
committerRaphaël Hertzog <hertzog@debian.org>
Wed, 22 Jan 2020 14:25:29 +0000 (14:25 +0000)
Fix flipped logic for handling memdiskfind

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


Trivial merge