[aur-requests] [PRQ#35693] Merge Request for arduino-pro-ide

[notify at aur.archlinux.org]

SuperNinja_4965 [1] filed a request to merge arduino-pro-ide [2] into
arduino-ide-beta-bin [3]:

As of March 1st, 2021 the Pro IDE became open source under the name of
Arduino IDE 2.0. Its development is hosted in a new repository located
at https://github.com/arduino/arduino-ide.
hence this package is no longer needed as a new package was created by
another user.

[1] https://aur.archlinux.org/account/SuperNinja_4965/
[2] https://aur.archlinux.org/pkgbase/arduino-pro-ide/
[3] https://aur.archlinux.org/pkgbase/arduino-ide-beta-bin/