[gnome-extra/cinnamon] drop another bogus patch