[skip changelog] Replace obsolete BoardDetailsResp.GetRequiredTools() call in gRPC client example#685
Merged
per1234 merged 1 commit intoarduino:masterfrom May 8, 2020
per1234:gettoolsdependencies
Merged
[skip changelog] Replace obsolete BoardDetailsResp.GetRequiredTools() call in gRPC client example#685per1234 merged 1 commit intoarduino:masterfrom per1234:gettoolsdependencies
per1234 merged 1 commit intoarduino:masterfrom
per1234:gettoolsdependencies
