Changes since version [2.3.7](https://github.com/arduino/arduino-ide/releases/tag/2.3.7): - Bump version metadata post release (#2842) [2f68013b]