Processed: Re: Bug#940857: Zoom Percentage Display Stays at 100%

Sat Sep 21 10:15:05 BST 2019

Processing control commands:

> forwarded -1 https://gitlab.gnome.org/GNOME/gnome-terminal/issues/140
Bug #940857 [gnome-terminal] Zoom Percentage Display Stays at 100%
Set Bug forwarded-to-address to 'https://gitlab.gnome.org/GNOME/gnome-terminal/issues/140'.
> tags -1 + upstream
Bug #940857 [gnome-terminal] Zoom Percentage Display Stays at 100%
Added tag(s) upstream.

-- 
940857: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=940857
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems