File _patchinfo of Package patchinfo
<patchinfo incident="4996"> <issue id="976952" tracker="bnc">Tweak tool: Typing: options visibility</issue> <category>recommended</category> <rating>low</rating> <packager>Zaitor</packager> <description>This update for gnome-tweak-tool fixes the following issues: - boo#976952: issue with visibility of some options in tweaks tools </description> <summary>Recommended update for gnome-tweak-tool</summary> </patchinfo>