[Merge] ~dbungert/ubuntu-seeds/+git/ubuntu:mini-iso-tools into ~ubuntu-core-dev/ubuntu-seeds/+git/ubuntu:lunar

[Steve Langasek]

just checking, do you think supported-installer might be a more appropriate seed for this?
-- 
https://code.launchpad.net/~dbungert/ubuntu-seeds/+git/ubuntu/+merge/438722
Your team Ubuntu Core Development Team is requested to review the proposed merge of ~dbungert/ubuntu-seeds/+git/ubuntu:mini-iso-tools into ~ubuntu-core-dev/ubuntu-seeds/+git/ubuntu:lunar.