On Thu, 2014-01-09 at 22:58 -0500, Mike Miller wrote: > On Thu, 9 Jan 2014 20:06:53 -0500, Brent S. Elmer, Ph.D. wrote: > > On Fri, 2014-01-10 at 01:48 +0100, Michael Biebl wrote: > >> reassign 734779 gnome-shell > >> thanks > >> > >> Am 09.01.2014 20:03, schrieb Brent S. Elmer Ph.D.: > >> > Here is a screen shot showing what I mean. > >> > >> that screenshot shows gnome-shell, so re-assigning. > >> Please provide the version of gnome-shell you are using. > > > > gnome-shell version 3.8.4-5 > > This certainly looks like #729288. Can you test whether the patch there > fixes it for you?
Yes, the patch does fix the problem. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
