Florian Müllner d3939a38a3 extensionDownloader: Remove pending updates with extension ... When an extension is uninstalled, there is no point in keeping a pending update: If the update didn't fail (which it currently does), we would end up sneakily reinstalling the extension. https://gitlab.gnome.org/GNOME/gnome-shell/issues/2343		2020-03-17 14:19:20 +00:00
..
dbusServices	dbusServices/notifications: Add a separate notification daemon	2020-03-12 16:09:27 +00:00
extensionPrefs	extensionPrefs: Stop escaping extension name	2020-03-08 01:07:18 +00:00
gdm	loginDialog: Do not expand "Not listed" button	2020-02-26 19:46:50 +00:00
misc	networkAgent: Drop VPN plugin cache	2020-03-17 14:07:15 +00:00
perf	cleanup: Require "dangling" commas	2019-11-11 19:25:14 +00:00
portalHelper	js: Don't use templates in files with translations	2020-02-17 23:20:40 +01:00
ui	extensionDownloader: Remove pending updates with extension	2020-03-17 14:19:20 +00:00
js-resources.gresource.xml	swipeTracker: Introduce swipe tracker	2020-01-10 18:20:22 +01:00
meson.build	dbusServices: Add some base classes for small stand-alone services	2020-03-12 16:09:27 +00:00
portal-resources.gresource.xml	js: Remove unused files from resources	2020-03-09 13:18:48 +00:00
prefs-resources.gresource.xml	js: Remove unused files from resources	2020-03-09 13:18:48 +00:00