Alt-RMB dragging is broken in mutter 3.10.1

[Marius Gedminas]

Steps to reproduce:

1. Open a window (say, gnome-terminal)
2. Hold down Alt
3. Press the right mouse button close to one window edge and drag it to resize
4. Release Alt and the mouse button
5. Move the mouse around

What happens:

The window is still resizing

What I expect:

Resizing stops when I release the mouse button.

This is a regression since gnome-shell 3.8. I filed it upstream as https://bugzilla.gnome.org/show_bug.cgi?id=722902 and learned it was actually a bug in Mutter (https://bugzilla.gnome.org/show_bug.cgi?id=710251), which was already fixed in mutter 3.10.2.

The gnome3-team PPA has mutter 3.10.1. Can it please be updated to a newer upstream version?

ProblemType: Bug
DistroRelease: Ubuntu 13.10
Package: mutter 3.10.1.1-0ubuntu1~saucy1 [origin: LP-PPA-gnome3-team-gnome3]
Uname: Linux 3.13.0-031300rc7-generic x86_64
ApportVersion: 2.12.5-0ubuntu2.2
Architecture: amd64
Date: Fri Jan 24 17:39:23 2014
EcryptfsInUse: Yes
InstallationDate: Installed on 2012-07-25 (548 days ago)
InstallationMedia: Ubuntu 12.04 LTS "Precise Pangolin" - Release amd64 (20120425)
MarkForUpload: True
SourcePackage: mutter
UpgradeStatus: Upgraded to saucy on 2013-10-17 (98 days ago)

[Marius Gedminas (mgedmin)]

(For the record this is fixed for saucy: the gnome3-team/gnome3 PPA now has mutter 3.10.4, while stock saucy has 3.8 that wasn't affected.)