Processed: Retitle: Bug #1095013 – Window List extension overlaps fullscreen apps; upstream fix available

[Debian Bug Tracking System]

Processing control commands:

> retitle -1 Window List extension overlaps fullscreen apps;
Bug #1095013 [gnome-shell-extension-window-list] (no subject)
Changed Bug title to 'Window List extension overlaps fullscreen apps;' from '(no subject)'.

-- 
1095013: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1095013
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems