[Merge] lp:~mir-team/platform-api/remove-mirserver into lp:platform-api

[noreply at launchpad.net]

The proposal to merge lp:~mir-team/platform-api/remove-mirserver into lp:platform-api has been updated.

    Status: Approved => Merged

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