[PRQ#42445] Deletion Request for python-gym-minigrid Accepted

Request #42445 has been Accepted by tpkessler [1]: [Autogenerated] Accepted deletion for python-gym-minigrid. [1] https://aur.archlinux.org/account/tpkessler/

[PRQ#42445] Deletion Request for python-gym-minigrid

MarsSeed [1] filed a deletion request for python-gym-minigrid [2]: Unneeded legacy Python package from 2020. Module renamed to minigrid, so a new package has to be created for that. [a][b] (See [a] redirecting to a new 'minigrid' repo.) Nothing depends on this old library. Safe to delete. [a]: