MarsSeed [1] filed a deletion request for linux-mini [2]: Abandoned Linux kernel from 2022, seems unused. Flagged OOD since 2023-12-26.
Votes: 2 Popularity: 0.000000 Comment: 2 (from 2021) [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/linux-mini/
