[aur-requests] [PRQ#37258] Merge Request for gnome-inform7
6 Sep
2022
6 Sep
'22
1:35 a.m.
silverhikari [1] filed a request to merge gnome-inform7 [2] into inform7-ide [3]: updated pkgname to be more inline with the upstream pkgname [1] https://aur.archlinux.org/account/silverhikari/ [2] https://aur.archlinux.org/pkgbase/gnome-inform7/ [3] https://aur.archlinux.org/pkgbase/inform7-ide/
22 Sep
22 Sep
7:03 p.m.
New subject: [PRQ#37258] Merge Request for gnome-inform7 Accepted
Request #37258 has been Accepted by polyzen [1]: [Autogenerated] Accepted merge for gnome-inform7 into inform7-ide. [1] https://aur.archlinux.org/account/polyzen/
787
Age (days ago)
803
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org