18 Dec
2018
18 Dec
'18
8:50 p.m.
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/