Bug#912335: gnome-terminal: minor redraw issue when moving a window over the terminal

[Vincent Lefevre]

Control: found -1 390.154-2

I've just done an upgrade and rebooted. Still reproducible...

-- 
Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)