[aur-requests] [PRQ#6920] Deletion Request for mshr-git

[notify at aur.archlinux.org]

myles [1] filed a deletion request for mshr-git [2]:

This has been provided as part of dolfin-git for some time now.

[1] https://aur.archlinux.org/account/myles/
[2] https://aur.archlinux.org/pkgbase/mshr-git/