Changes since version [2.3.8](https://github.com/arduino/arduino-ide/releases/tag/2.3.8):
 - chore: switch to version 2.3.9 post release (#2877) [3198cf9a]