[aur-requests] [PRQ#27672] Deletion Request for webots-bin

[notify--- via aur-requests]

dgt [1] filed a deletion request for webots-bin [2]:

This is a duplicate of webots.

[1] https://aur.archlinux.org/account/dgt/
[2] https://aur.archlinux.org/pkgbase/webots-bin/