[aur-requests] [PRQ#28680] Deletion Request for dolfin-git

entshuld [1] filed a deletion request for dolfin-git [2]: DOLFIN has migrated to DOLFINx. The 2019 DOLFIN is maintained in the `dolfin' package which will still be needed as a dependency for other packages. Having a Git package of DOLFIN does not make sense, and possibly a `dolfinx' package will be needed in the future. [1] https://aur.archlinux.org/account/entshuld/ [2] https://aur.archlinux.org/pkgbase/dolfin-git/