tree 430ebd1aae467de7e5eee4263e30c400ced548e6
parent bb8f0fff17488fb3935646d53860a0bf24749960
parent c52663c4ea118386b54fcaa5ef148e8a0c7d5b30
author David Anderson <dvander@google.com> 1554236196 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1554236196 +0000

Merge "Append -verity when looking for verity device-mapper names."