[aur-requests] [PRQ#13528] Deletion Request for extraterm-bin Rejected

[notify at aur.archlinux.org]

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/