Richard van der Hoff 4fec5e57be Default device_display_name to null
It turns out that it's more useful to return a null device display name (and
let clients decide how to handle it: eg, falling back to device_id) than using
a constant string like "unknown device".
2016-08-03 11:53:00 +01:00
..
2016-04-07 16:52:07 +01:00
2016-07-18 16:39:44 +01:00
2016-07-20 16:40:28 +01:00
2016-07-22 13:21:07 +01:00
2016-07-26 07:35:48 +01:00
2016-03-22 14:08:13 +00:00
2016-07-26 11:05:39 +01:00
2016-01-28 17:09:09 +00:00
2016-06-03 11:04:31 +01:00
2016-07-26 13:32:15 +01:00
2016-01-07 04:26:29 +00:00
2016-06-24 11:45:23 +01:00
2016-06-07 15:07:11 +01:00
2016-05-31 15:32:32 +01:00
2016-07-20 10:18:09 +01:00