17 May
2018
17 May
'18
12:55 p.m.
plfiorini [1] filed a deletion request for hawaii-terminal [2]: it was merged with papyros-terminal to create liri-terminal which is in community [1] https://aur.archlinux.org/account/plfiorini/ [2] https://aur.archlinux.org/pkgbase/hawaii-terminal/