Allow any character except / in port or board name#5473

Merged

jepler merged 1 commit intoadafruit:mainfrom microdev1:patch

Oct 25, 2021

+2-2

Commits on Oct 22, 2021

allow any character except / in port or board name
microdev1
committed