[aur-requests] [PRQ#10253] Merge Request for hawaii-shell-git
5 Jan
2018
5 Jan
'18
5:03 p.m.
plfiorini [1] filed a request to merge hawaii-shell-git [2] into liri- shell-git [3]: We merged Hawaii and Papyros to form Liri, therefore this package should be merged with liri-shell-git [1] https://aur.archlinux.org/account/plfiorini/ [2] https://aur.archlinux.org/pkgbase/hawaii-shell-git/ [3] https://aur.archlinux.org/pkgbase/liri-shell-git/
5 Jan
5 Jan
7:47 p.m.
New subject: [aur-requests] [PRQ#10253] Request Accepted
Request #10253 has been accepted by Eschwartz [1]. [1] https://aur.archlinux.org/account/Eschwartz/
2567
Age (days ago)
2567
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org