[PRQ#43219] Deletion Request for mimi-bachoseven-git

MarsSeed [1] filed a deletion request for mimi-bachoseven-git [2]: This package is now the exact duplicate of mimi-git: https://aur.archlinux.org/packages/mimi-git Both have the same maintainer. No AUR merge is necessary, since the 'bachoseven' package has no comments or votes. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/mimi-bachoseven-git/