Bug#908769: marked as done (gnome-shell: freeze when super (windows) key is pressed)

[Debian Bug Tracking System]

Your message dated Sun, 16 Sep 2018 13:02:19 -0400
with message-id <CAAajCMYL7E_X=xTCQETTbQ3rTowosa5eutk8OEwMHaYKHsUDEw at mail.gmail.com>
and subject line Re: Bug#908769: Removing extensions fixed the problem
has caused the Debian Bug report #908769,
regarding gnome-shell: freeze when super (windows) key is pressed
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.)


-- 
908769: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908769
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems
-------------- next part --------------
An embedded message was scrubbed...
From: Helen Koike <helen at koikeco.de>
Subject: gnome-shell: freeze when super (windows) key is pressed
Date: Thu, 13 Sep 2018 14:10:06 -0300
Size: 9911
URL: <http://alioth-lists.debian.net/pipermail/pkg-gnome-maintainers/attachments/20180916/2c3501c6/attachment.mht>
-------------- next part --------------
An embedded message was scrubbed...
From: Jeremy Bicha <jbicha at debian.org>
Subject: Re: Bug#908769: Removing extensions fixed the problem
Date: Sun, 16 Sep 2018 13:02:19 -0400
Size: 3769
URL: <http://alioth-lists.debian.net/pipermail/pkg-gnome-maintainers/attachments/20180916/2c3501c6/attachment-0001.mht>