[breaking] Change gRPC DebugConfigRequest port field type#1414

silvanocerza merged 1 commit intomasterarduino/arduino-cli:masterfrom

scerza/debug-grpc-request-changearduino/arduino-cli:scerza/debug-grpc-request-changeCopy head branch name to clipboard