Bug#940857: Zoom Percentage Display Stays at 100%

[Simon McVittie]

Control: forwarded -1 https://gitlab.gnome.org/GNOME/gnome-terminal/issues/140
Control: tags -1 + upstream

On Sat, 21 Sep 2019 at 00:17:59 +0200, Egmont Koblinger wrote:
> This has already been brought to upstream developers' attention,
> there's been some discussion about it at:
> https://gitlab.gnome.org/GNOME/gnome-terminal/issues/140

Tagging accordingly.

Thanks,
    smcv