Ubuntu
gnome-tweak-tool package

  1. Bug #807120
  2. Comment #3

Comment 3 for bug 807120

Revision history for this message
Shyam (reddy-shyam) wrote :

Hi Jeremy,

Thanks for getting back. I reported this long back and the tool got fixed as you have said during development cycle. Please close this bug.