Processed: merge 670587 736854

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 736854 normal
Bug #736854 [gnome-tweak-tool] gnome-tweak-tool: Cut text
Severity set to 'normal' from 'minor'
> merge 670587 736854
Bug #670587 [gnome-tweak-tool] gnome-tweak-tool: labels truncated with large fonts or translation
Bug #736854 [gnome-tweak-tool] gnome-tweak-tool: Cut text
Marked as found in versions gnome-tweak-tool/3.2.2-3 and gnome-tweak-tool/3.4.0.1-2.
Added tag(s) l10n.
Bug #670587 [gnome-tweak-tool] gnome-tweak-tool: labels truncated with large fonts or translation
Marked as found in versions gnome-tweak-tool/3.8.1-2.
Merged 670587 736854
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
670587: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=670587
736854: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=736854
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems