b7e828fa3c
While it is possible that an extension has a newer version available than the previously downloaded update, it's more likely that we end up downloading the same archive again. That would be a bit silly despite the usually small size, so we can either use the metadata from the update, or exclude the extension from the check. The latter is much easier, so let's go with that for now. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/945 |
||
---|---|---|
.. | ||
extensionPrefs | ||
gdm | ||
misc | ||
perf | ||
portalHelper | ||
ui | ||
js-resources.gresource.xml | ||
meson.build | ||
portal-resources.gresource.xml | ||
prefs-resources.gresource.xml |