[aur-requests] [PRQ#5379] Deletion Request for openmpi-1.10

[notify]

PeterGottesman [1] filed a deletion request for openmpi-1.10 [2]:

OpenMPI 1.10 now in official repo

[1] https://aur.archlinux.org/account/PeterGottesman/
[2] https://aur.archlinux.org/pkgbase/openmpi-1.10/