[aur-requests] [PRQ#9055] Deletion Request for geda-symbols-improved-git

[notify at aur.archlinux.org]

codeThatThinks [1] filed a deletion request for geda-symbols-improved-
git [2]:

Package has been renamed to geda-better-symbols-git

[1] https://aur.archlinux.org/account/codeThatThinks/
[2] https://aur.archlinux.org/pkgbase/geda-symbols-improved-git/