2 Jul
2023
2 Jul
'23
2:14 a.m.
MarsSeed [1] filed a deletion request for ebadoo-shell [2]: Fork of gnome-shell 3.34.2, discontinued since 2019. [a] [a]: https://gitlab.com/ebadoo/ebadoo-shell/-/commits/master [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/ebadoo-shell/