Add missing device_name for targets with bootloader#5253
Merged
theotherjimmy merged 1 commit intoARMmbed:masterfrom Jan 4, 2018
amq:patch-3
Merged
Add missing device_name for targets with bootloader#5253theotherjimmy merged 1 commit intoARMmbed:masterfrom amq:patch-3
theotherjimmy merged 1 commit intoARMmbed:masterfrom
amq:patch-3
