On Wed, Jun 3, 2015 at 7:55 AM, Daniel Lange <dl....@usrlocal.de> wrote: > Second try :) > https://git.gnome.org/browse/gnome-shell/commit/?id=c3bf4a3 >
AFAIU this patch is now in jessie-pu (gnome-shell/3.14.4-1~deb8u1) and should be included in the next stable point release. (Either way, there's nothing that we pkg-nvidia maintainers can do about this to begin with, so pinging this bug report doesn't really help much...) Regards, Vincent -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
