Changes since version [2.3.6](https://github.com/arduino/arduino-ide/releases/tag/2.3.6): - chore: switch to version 2.3.7 after the release (#2701) [0f9f0d07]