GNOME 3.14

Was closed by github after a merge, bleh. Was #5192
BTW, I see there's 3.14.6 already.