On Mon, Feb 11, 2013 at 6:55 PM, Rui Tiago Cação Matos <tiagoma...@gmail.com> wrote: > I believe this is https://bugzilla.gnome.org/show_bug.cgi?id=683986 > which is supposedly fixed.
Also, the fedora downstream bug at https://bugzilla.redhat.com/show_bug.cgi?id=877762 has a scratch build for Fedora which contains those patches. _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
