Log in / Register
Ubuntu
gnome-shell-extension-ubuntu-dock package
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #1726621
Comment #1
Comment 1 for bug 1726621
Revision history for this message
Daniel van Vugt (vanvugt)
wrote
on 2017-10-24
:
#1
Wouldn't closing be the job of gnome-shell itself?
Wouldn't closing be the job of gnome-shell itself?
Wouldn't closing be the job of gnome-shell itself?