Arduino v3.7.2

This release of Arduino, version 3.7.2, includes important bug fixes and performance improvements. Users will notice enhanced stability and faster compile times. We recommend updating to this version for an optimal development experience.