Recommended update for gnome-tweak-tool
This update for gnome-tweak-tool fixes the following issues:
- boo#976952: issue with visibility of some options in tweaks tools
-
Submitted by
Bjørn Lie (Zaitor)
Fixed bugs
bnc#976952
Tweak tool: Typing: options visibility
