[aur-requests] [PRQ#16246] Merge Request for mindustry-server

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