[PRQ#65859] Deletion Request for gnome-mines-3.12.2

MarsSeed [1] filed a deletion request for gnome-mines-3.12.2 [2]: Badly packaged, unneeded old version from 2014 of Arch/extra/gnome- mines. [a] Votes: 1 Popularity: 0.000000 Comments: 0 Reverse dependencies: 0 [a]: https://archlinux.org/packages/?q=gnome-mines [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gnome-mines-3.12.2/