chore: switch to version 2.3.9 post release#2877

giacomocusinato merged 1 commit intomainarduino/arduino-ide:mainfrom

use-ide-2.3.9arduino/arduino-ide:use-ide-2.3.9Copy head branch name to clipboard