[skip changelog] Document build.library_discovery_phase property in platform specification#868

per1234 merged 1 commit intoarduino:masterarduino/arduino-cli:masterfrom

per1234:build_library_discovery_phaseCopy head branch name to clipboard