[aur-requests] [PRQ#13521] Deletion Request for openjdk12

[notify--- via aur-requests]

Jammie [1] filed a deletion request for openjdk12 [2]:

There are 2 other packages that provide openjdk 12, and this one is
unmaintained.

[1] https://aur.archlinux.org/account/Jammie/
[2] https://aur.archlinux.org/pkgbase/openjdk12/