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

25 Aug 2022

      Request #36851 has been Accepted by yan12125 [1]:

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

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

notify＠aur.archlinux.org