[skip changelog] Sliglthly optimize searchConfigTree#515

masci merged 1 commit intomasterarduino/arduino-cli:masterfrom

massi/configtreearduino/arduino-cli:massi/configtreeCopy head branch name to clipboard