[Merge] lp:~noskcaj/ubuntu/utopic/gnome-shell-extensions/3.12.2 into lp:ubuntu/gnome-shell-extensions

[Daniel Holbach]

The proposal to merge lp:~noskcaj/ubuntu/utopic/gnome-shell-extensions/3.12.2 into lp:ubuntu/gnome-shell-extensions has been updated.

    Status: Needs review => Merged

For more details, see:
https://code.launchpad.net/~noskcaj/ubuntu/utopic/gnome-shell-extensions/3.12.2/+merge/222464
-- 
https://code.launchpad.net/~noskcaj/ubuntu/utopic/gnome-shell-extensions/3.12.2/+merge/222464
Your team Ubuntu branches is requested to review the proposed merge of lp:~noskcaj/ubuntu/utopic/gnome-shell-extensions/3.12.2 into lp:ubuntu/gnome-shell-extensions.