Package: gnome-shell Version: 2.29.0-3 Severity: normal Yes, GNOME Shell 2.31.2 was released a few hours after my whislist report. :-) http://mail.gnome.org/archives/gnome-shell-list/2010-May/msg00150.html