Florian Müllner fb9854c003 extensions-tool: Use new Extensions proxy ... While sandboxing isn't a concern for the gnome-extensions command line tool, using the Extensions proxy directly means that D-Bus methods are called from the tool rather than gnome-shell, which allows the proxy to auto-shutdown when done. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1106		2020-03-23 15:39:12 +00:00
..
extensions-tool	extensions-tool: Use new Extensions proxy	2020-03-23 15:39:12 +00:00
gvc@ec5cf3e0de	gvc: Update submodule	2019-11-23 15:16:51 +01:00