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

[notify at aur.archlinux.org]

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/