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

entshuld [1] filed a deletion request for python-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/python-dolfin-git/