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

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/