[aur-requests] [PRQ#13528] Deletion Request for extraterm-bin
17 Dec
2018
17 Dec
'18
3:23 p.m.
yochananmarqos [1] filed a deletion request for extraterm-bin [2]: Duplicate of https://aur.archlinux.org/packages/extraterm They both use the same source and this one was added after the other. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/extraterm-bin/
18 Dec
18 Dec
8:50 p.m.
New subject: [aur-requests] [PRQ#13528] Deletion Request for extraterm-bin Rejected
Request #13528 has been rejected by polyzen [1]: This was added by the original submitter in response to j605's comment *7 months ago* that the package was in fact a -bin package. The submitter should have requested a merge back then, and extraterm has now been merged into extraterm-bin. [1] https://aur.archlinux.org/account/polyzen/
2214
Age (days ago)
2215
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org