Il giorno 25/set/2013 15:02, "Piviul" <piviul@riminilug.it> ha scritto:
>
> Federico Bruni scrisse in data 25/09/2013 10:28:
>>
>> [...]
>>
>> no, hai ragione te: è un bug
>
> Io l'ho aperto, se vuoi dire anche tu la tua: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=723078
>
Grazie, mi sono iscritto.
Però il bug l'avrei segnalato per gnome-shell, non gnome-session