[aur-requests] [PRQ#35014] Deletion Request for bin32-jdk7

[notify at aur.archlinux.org]

MarsSeed [1] filed a deletion request for bin32-jdk7 [2]:

Unneeded orphan Java Development Kit 7 (release 2011, EOL 2019).
Sources unavailable.

Wouldn't even be needed if worked, because it is
a lib32-on-64-bit package. Java is platform-agnostic,
therefore the development artifacts created by the JDK
are platform-agnostic as well.

Safe to delete; defunct and nothing depends on it.

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/bin32-jdk7/