28 Oct
2024
28 Oct
'24
1:43 p.m.
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/