[PRQ#43820] Deletion Request for openbox_eui
7 Jul
2023
7 Jul
'23
12:14 p.m.
MarsSeed [1] filed a deletion request for openbox_eui [2]: Abandoned duplicate from 2016 of repo 'openbox'. Unknown what the "eui" name part was supposed to mean. I flagged it OOD a year ago; also gave feedback about packaging mistakes, and asked for clarification about the "eui" designation. Got no response whatsoever. Better to delete this. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/openbox_eui/
27 Aug
27 Aug
8:31 a.m.
New subject: [PRQ#43820] Deletion Request for openbox_eui Accepted
Request #43820 has been Accepted by tpkessler [1]: [Autogenerated] Accepted deletion for openbox_eui. [1] https://aur.archlinux.org/account/tpkessler/
442
Age (days ago)
493
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org