Jakob Borg 6365a026c1 Merge branch 'pr/2628'
* pr/2628:
  Disallow adding duplicate device ID in GUI
2015-12-30 08:53:29 +01:00
..
2015-12-27 13:26:14 +01:00
2015-12-30 08:53:29 +01:00