[Merge] ~nteodosio/software-properties:pin into software-properties:ubuntu/master

[mp+436085 at code.launchpad.net]

The proposal to merge ~nteodosio/software-properties:pin into software-properties:ubuntu/master has been updated.

    Status: Approved => Merged

For more details, see:
https://code.launchpad.net/~nteodosio/software-properties/+git/software-properties/+merge/436085
-- 
Your team Ubuntu Core Development Team is subscribed to branch software-properties:ubuntu/master.