[PRQ#37398] Merge Request for arduino-ide-beta-bin Accepted

[notify]

Request #37398 has been Accepted by polyzen [1]:

[Autogenerated] Accepted merge for arduino-ide-beta-bin into arduino-
ide-bin.

[1] https://aur.archlinux.org/account/polyzen/