Thanks for your hard job! I love gnome-shell! With this last update it seems more stable but still need work: https://bugzilla.redhat.com/show_bug.cgi?id=913095
Let me know if I can do something to debug this kind of problem! Thank you again, Donato
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
