Release 1.5.2
Imported fixes from upstream arduino-cli
- Reduce priority for IDE-bundled platform releases arduino/arduino-cli#579
- Fixed wrong escaping on legacy MachineLogger arduino/arduino-cli#577
- Fix library priority selection (again) arduino/arduino-cli#574
- Improve precompiled libraries handling arduino/arduino-cli#512