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

Request #65859 has been Accepted by bertptrs [1]: This is in fact the correct way to name a pkgbase for a specific older version of a package. However, there appears to be no reason to package this particular version, and it doesn't build, so it can indeed be removed. [1] https://aur.archlinux.org/account/bertptrs/