29 Aug
2023
29 Aug
'23
1:10 p.m.
Rename
Rename to what? This is just a deletion request. Upstream source repo is still called make-language-server. [a] [a]: https://github.com/Freed-Wu/make-language-server On 29 August 2023 12:42:37 GMT+02:00, notify@aur.archlinux.org wrote:
Freed [1] filed a deletion request for make-language-server [2]:
Rename
[1] https://aur.archlinux.org/account/Freed/ [2] https://aur.archlinux.org/pkgbase/make-language-server/