[aur-requests] [PRQ#14030] Deletion Request for monodevelop-git
4 Feb
2019
4 Feb
'19
4:40 a.m.
doctorzeus [1] filed a deletion request for monodevelop-git [2]: Package is the same source with stable build as monodevelop-stable and does not look like it is maintained anymore. [1] https://aur.archlinux.org/account/doctorzeus/ [2] https://aur.archlinux.org/pkgbase/monodevelop-git/
4 Feb
4 Feb
10:07 p.m.
New subject: [aur-requests] [PRQ#14030] Deletion Request for monodevelop-git Rejected
Request #14030 has been rejected by polyzen [1]: The -stable package is pinned to the release tag. The -git maintainer appears to be active; please leave a comment if there's an issue with the package. [1] https://aur.archlinux.org/account/polyzen/
2163
Age (days ago)
2163
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org