Bug#823785: gnome-shell: patch available

Phil Miller mille121 at illinois.edu
Tue May 31 20:36:46 UTC 2016


tag 823785 patch upstream
thanks

Tagging this appropriately.



More information about the pkg-gnome-maintainers mailing list