gnome-desktop 3.10.2 is out there now, so please use it together with the rest of GNOME 3.10.2 to get the proper version displayed.
_______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
