22 Jul
2018
22 Jul
'18
3:29 p.m.
dvzrv [1] filed a deletion request for grub-customizer [2]: Now in [community] [1] https://aur.archlinux.org/account/dvzrv/ [2] https://aur.archlinux.org/pkgbase/grub-customizer/