Bug#908719: marked as done (gtk: cursor indicator lost in gnome-terminal when switching applications)

[Debian Bug Tracking System]

Your message dated Wed, 12 Sep 2018 19:51:26 -0400
with message-id <CAAajCMaEQwYebBzazAez3yNE7XgMP0DbnyDC9VFqz28EDfnwGQ at mail.gmail.com>
and subject line Re: Bug#908719: gtk: cursor indicator lost in gnome-terminal when switching applications
has caused the Debian Bug report #908719,
regarding gtk: cursor indicator lost in gnome-terminal when switching applications
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner at bugs.debian.org
immediately.)


-- 
908719: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908719
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Sergio Villar Senin <svillar at igalia.com>
Subject: gtk: cursor indicator lost in gnome-terminal when switching applications
Date: Thu, 13 Sep 2018 01:41:38 +0200
Size: 4892
URL: <http://alioth-lists.debian.net/pipermail/pkg-gnome-maintainers/attachments/20180912/3454153e/attachment.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Jeremy Bicha <jbicha at debian.org>
Subject: Re: Bug#908719: gtk: cursor indicator lost in gnome-terminal when switching applications
Date: Wed, 12 Sep 2018 19:51:26 -0400
Size: 3528
URL: <http://alioth-lists.debian.net/pipermail/pkg-gnome-maintainers/attachments/20180912/3454153e/attachment-0001.mht>