[PRQ#46819] Deletion Request for make-language-server
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/
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/
Request #46819 has been Accepted by Antiz [1]: [Autogenerated] Accepted deletion for make-language-server. [1] https://aur.archlinux.org/account/Antiz/
participants (2)
-
Marcell Meszaros
-
notify＠aur.archlinux.org