Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

DevicesPanel: use device_id as a placeholder #386

Merged
merged 1 commit into from
Aug 3, 2016
Merged

DevicesPanel: use device_id as a placeholder #386

merged 1 commit into from
Aug 3, 2016

Commits on Aug 3, 2016

  1. DevicesPanel: use device_id as a placeholder 

    A device may have no display_name set, in which case we probably want to use
the device_id as a placeholder.
    @richvdh
    richvdh committed Aug 3, 2016
    Configuration menu
    Copy the full SHA
    f4d41b7 View commit details
    Browse the repository at this point in the history