[Merge] lp:~darkxst/ubuntu/utopic/gnome-desktop3/3.12 into lp:ubuntu/gnome-desktop3

[Martin Pitt]

The proposal to merge lp:~darkxst/ubuntu/utopic/gnome-desktop3/3.12 into lp:ubuntu/gnome-desktop3 has been updated.

    Status: Approved => Merged

For more details, see:
https://code.launchpad.net/~darkxst/ubuntu/utopic/gnome-desktop3/3.12/+merge/236307
-- 
https://code.launchpad.net/~darkxst/ubuntu/utopic/gnome-desktop3/3.12/+merge/236307
Your team Ubuntu branches is requested to review the proposed merge of lp:~darkxst/ubuntu/utopic/gnome-desktop3/3.12 into lp:ubuntu/gnome-desktop3.