Code

fix #1383: missing port labels#1412

Code

Merged

davegarthsimpson merged 3 commits intomainarduino/arduino-ide:mainfrom

1383-missing-port-labelarduino/arduino-ide:1383-missing-port-labelCopy head branch name to clipboard

Sep 15, 2022

Commits

Commits on Sep 7, 2022

• fallback to port.address if addressLabel is false

  davegarthsimpson

  committed
  a6a7af4

  Copy full SHA for a6a7af4

Commits on Sep 8, 2022

• addressLabel if possible, reconcileAvailableBoards

  davegarthsimpson

  committed
  0b0ce7b

  Copy full SHA for 0b0ce7b

• remove fallback

  davegarthsimpson

  committed
  d3f29cb

  Copy full SHA for d3f29cb