[PRQ#71421] Deletion Request for guile-hall

[notify]

micwoj92 [1] filed a deletion request for guile-hall [2]:

Only needed for guile-todo-git, which is pending deletion, 0
popularity.

[1] https://aur.archlinux.org/account/micwoj92/
[2] https://aur.archlinux.org/pkgbase/guile-hall/