Ubuntu
gnome-tweak-tool package

  1. Bug #1248736
  2. Comment #2

Comment 2 for bug 1248736

Revision history for this message
Murukesh Mohanan (murukesh) wrote :

The original bug was a duplicate of this one, and this one contains the actual status: fixed in 3.18.