[aur-requests] [PRQ#16245] Merge Request for mindustry

dmitmel [1] filed a request to merge mindustry [2] into mindustry-bin [3]: Package `mindustry` was renamed to `mindustry-bin` to follow AUR package naming guidelines. [1] https://aur.archlinux.org/account/dmitmel/ [2] https://aur.archlinux.org/pkgbase/mindustry/ [3] https://aur.archlinux.org/pkgbase/mindustry-bin/