[aur-requests] [PRQ#23695] Deletion Request for thonny-bin

tecnotercio [1] filed a deletion request for thonny-bin [2]: I am the maintainer of this package, and ask you to delete it. The compilation of the libraries in the provided Python environment ends up in error (return code 1), crashing the "makepkg" command: https://github.com/thonny/thonny/blob/3e0819bcadbad1bfd2b4414fd5c64a1f6a71c5... The package "thonny", created from source, does not have this problem. [1] https://aur.archlinux.org/account/tecnotercio/ [2] https://aur.archlinux.org/pkgbase/thonny-bin/