[PRQ#82427] Deletion Request for lost-dutchman-mine-git Accepted

[notify]

Request #82427 has been Accepted by tippfehlr [1]:

[Autogenerated] Accepted deletion for lost-dutchman-mine-git.

[1] https://aur.archlinux.org/account/tippfehlr/