[aur-requests] [PRQ#36799] Deletion Request for op-tee-tools

[notify at aur.archlinux.org]

MarsSeed [1] filed a deletion request for op-tee-tools [2]:

I've noticed just now that this package last updated in 2017 is a
dummy - it has no sources, even though op-tee-tools has sources and
should be built from a Makefile.

AUR owner doesn't respond - queried the status of this package in Feb
2022.

I believe this package has no function and can be deleted.

Nothing depends on it on AUR.

[1] https://aur.archlinux.org/account/MarsSeed/
[2] https://aur.archlinux.org/pkgbase/op-tee-tools/