[Merge] lp:~mir-team/platform-api/no-change-rebuild-mir into lp:platform-api

[Alberto Aguirre]

The proposal to merge lp:~mir-team/platform-api/no-change-rebuild-mir into lp:platform-api has been updated.

    Status: Needs review => Approved

For more details, see:
https://code.launchpad.net/~mir-team/platform-api/no-change-rebuild-mir/+merge/242151
-- 
Your team Ubuntu Phablet Team is subscribed to branch lp:platform-api.