chore: switch to version 2.3.7 after the release#2701

giacomocusinato merged 1 commit intomainarduino/arduino-ide:mainfrom

version-2.3.7arduino/arduino-ide:version-2.3.7Copy head branch name to clipboard