[aur-requests] [PRQ#22161] Deletion Request for jedi-language-server
6 Nov
2020
6 Nov
'20
9:41 p.m.
polyzen [1] filed a deletion request for jedi-language-server [2]: Moving to the repos. [1] https://aur.archlinux.org/account/polyzen/ [2] https://aur.archlinux.org/pkgbase/jedi-language-server/
6 Nov
6 Nov
10:26 p.m.
New subject: [aur-requests] [PRQ#22161] Deletion Request for jedi-language-server Accepted
Request #22161 has been accepted by polyzen [1]. [1] https://aur.archlinux.org/account/polyzen/
1506
Age (days ago)
1506
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org