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-30 08:53:29 +01:00
2015-09-25 13:45:58 +02:00
2015-12-18 22:40:56 -05:00