[aur-requests] [PRQ#16064] Deletion Request for dex-protecto-git

[notify at aur.archlinux.org]

Protecto [1] filed a deletion request for dex-protecto-git [2]:

Pull request was merged to upstream, no need for this package for the
fork.

[1] https://aur.archlinux.org/account/Protecto/
[2] https://aur.archlinux.org/pkgbase/dex-protecto-git/