[aur-requests] [PRQ#20735] Deletion Request for openmpi3-gcc8

[notify at aur.archlinux.org]

dviktor [1] filed a deletion request for openmpi3-gcc8 [2]:

is not actual anymore - openmpi 4 is actual now

[1] https://aur.archlinux.org/account/dviktor/
[2] https://aur.archlinux.org/pkgbase/openmpi3-gcc8/