deskutils/gnome-shell-extra-extensions: revert "remove expired extensions"
This reverts commit 1a28b64446114a264f87e488cf62c934a53c7015.
Both extensions have PRs to revive them.
Description
Description
Details
Details
- Provenance
rene Authored on Jun 18 2023, 10:15 AM - Parents
- R11:1a28b6444611: deskutils/gnome-shell-extra-extensions: remove expired extensions
- Branches
- Unknown
- Tags
- Reverts
- R11:1a28b6444611: deskutils/gnome-shell-extra-extensions: remove expired extensions