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-07-19 10:28:27 +01:00
2016-07-26 16:46:53 +01:00
2016-01-07 04:26:29 +00:00
2016-01-07 04:26:29 +00:00
2016-07-26 07:35:48 +01:00
2016-08-03 11:53:00 +01:00
2016-06-30 17:51:28 +01:00
2016-07-14 16:30:56 +01:00
2016-06-06 16:00:09 +01:00
2016-07-26 16:46:53 +01:00
2016-07-26 16:46:53 +01:00
2016-07-21 10:30:12 +01:00
2016-07-21 10:30:12 +01:00