mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-04-20 05:17:19 +00:00

The Arduino IDE release includes several tool dependencies. Unstable versions of these tools may be pinned provisionally for use with the development version of Arduino IDE, but production releases of Arduino IDE must use production releases of the tool dependencies. The release manager should check the tool versions before making a release, but previously this step was not mentioned in the release procedure documentation.