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

[mp+438723 at code.launchpad.net]

The proposal to merge ~dbungert/ubuntu-seeds/+git/platform:mini-iso-tools into ~ubuntu-core-dev/ubuntu-seeds/+git/platform:lunar has been updated.

    Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~dbungert/ubuntu-seeds/+git/platform/+merge/438723
-- 
Your team Ubuntu Core Development Team is subscribed to branch ~ubuntu-core-dev/ubuntu-seeds/+git/platform:lunar.