There were no changes since version [2.3.7](https://github.com/arduino/arduino-ide/releases/tag/2.3.7).