Can now detect devices with serial number in the port number on OSX#1668

Merged

ffissore merged 1 commit intoarduino:ide-1.5.xfrom

Lauszus:ide-1.5.x-upstream2

Nov 11, 2013

Commits on Nov 11, 2013

Can now detect devices with serial number in the port number on OSX - see: https://github.com/arduino/Arduino/issues/223
Lauszus
committed