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)
commitbdadb4b81da90333a6eefe1d203e8568b5087caa
tree03607278ed176ece003cd71fae7398e59c86833f
parent685fa1110719f706c2e093ca577838c214d79114
parent9b976b577df4fe25e8affc3d54c0936f96bc0c7f
Merge branch 'master' into 'master'

Fix flipped logic for handling memdiskfind

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