10 Nov
2021
10 Nov
'21
9:19 p.m.
ptr1337 [1] filed a deletion request for linux-baby [2]: Baby scheduler not supported anymore. [1] https://aur.archlinux.org/account/ptr1337/ [2] https://aur.archlinux.org/pkgbase/linux-baby/