12 May
2020
12 May
'20
8:06 p.m.
1ace [1] filed a deletion request for gnu-global [2]: Package was about to be merged into `global` when the latter was moved to [community] Please delete gnu-global now, unless merging is still possible? [1] https://aur.archlinux.org/account/1ace/ [2] https://aur.archlinux.org/pkgbase/gnu-global/