[PRQ#49932] Merge Request for wxgtk30
31 Oct
2023
31 Oct
'23
5:41 p.m.
MarsSeed [1] filed a request to merge wxgtk30 [2] into wxwidgets-3.0 [3]: Eliminating duplication and following repo's rename of wxgtk3 to wxwidgets-* packages. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/wxgtk30/ [3] https://aur.archlinux.org/pkgbase/wxwidgets-3.0/
7 Nov
7 Nov
5:49 p.m.
New subject: [PRQ#49932] Merge Request for wxgtk30 Rejected
Request #49932 has been Rejected by MarsSeed [1]: Closing in favor of owner's deletion request (PRQ#50463). There's no meaningful difference between a delete and a merge in this case: 2 votes, 0 comments, and only 1 package was using this (now there are 0 dependents). [1] https://aur.archlinux.org/account/MarsSeed/
430
Age (days ago)
437
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org