Ubuntu
gnome-tweak-tool package

  1. Bug #1527633
  2. Comment #1

Comment 1 for bug 1527633

Revision history for this message
Wise Melon (wise-melon-deactivatedaccount) wrote :

I have now also filed a report on this issue upstream: https://bugzilla.gnome.org/show_bug.cgi?id=761247