Re: GNOME Shell integration problem

[Juan R. de Silva]

> Looks like this bug:
> 
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=840804

Thank you Curt.