GNOME 3.10: arriva un nuovo system menu

GNOME 3.10, la nuova versione del blasonato ambiente desktop per Linux, arriverà a settembre ma dal team di sviluppo arrivano […]