[Merge] lp:~robru/phablet-tools/fix-overlay-pinning into lp:phablet-tools

[Steve Langasek]

Review: Approve

I don't think you need to worry about leaving a gap in the priorities - we aren't going to have multiple layers here.  So a priority of 1002 would be sufficient.  But I don't mind the use of 1100 either.
-- 
https://code.launchpad.net/~robru/phablet-tools/fix-overlay-pinning/+merge/258514
Your team Ubuntu Phablet Team is subscribed to branch lp:phablet-tools.