Ubuntu
gnome-shell package

Comment 10 for bug 1694373

Revision history for this message

In bugzilla.gnome.org/ #707973, Carlos (csoriano) wrote on 2015-03-19:

#10

Review of attachment 254782:

This patch is a big hack if someone wonders why is it not reviewed, so I reject it to make it clear...