[PRQ#45689] Deletion Request for pocketsphinx-cmusphinx-git Accepted

2023-10-30 Thread notify
Request #45689 has been Accepted by muflone [1]: [Autogenerated] Accepted deletion for pocketsphinx-cmusphinx-git. [1] https://aur.archlinux.org/account/muflone/

[PRQ#45689] Deletion Request for pocketsphinx-cmusphinx-git

2023-07-31 Thread notify
MarsSeed [1] filed a deletion request for pocketsphinx-cmusphinx-git [2]: Duplicate created in 2022 of pocketsphinx-git (submitted in 2016). The 'cmusphinx' qualifier is superfluous, as it is the GitHub profile/project name which hosts the pocketsphinx repo, and the same is true for the pocketsp