[PRQ#75205] Deletion Request for wmenu-dmenu
9 Aug
2025
9 Aug
'25
4:04 a.m.
oech3 [1] filed a deletion request for wmenu-dmenu [2]: wmenu is already small package. /usr/local/bin is enouth to replace it. Package is not needed. [1] https://aur.archlinux.org/account/oech3/ [2] https://aur.archlinux.org/pkgbase/wmenu-dmenu/
15 Aug
15 Aug
5:27 a.m.
New subject: [PRQ#75205] Deletion Request for wmenu-dmenu Rejected
Request #75205 has been Rejected by oech3 [1]: Drop priority [1] https://aur.archlinux.org/account/oech3/
22
Age (days ago)
28
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org