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

..

access_tokens_device_index.sql

Implement deleting devices

2016-07-26 07:35:48 +01:00

devices_for_e2e_keys_clear_unknown_device.sql

Default device_display_name to null

2016-08-03 11:53:00 +01:00

devices_for_e2e_keys.sql

Default device_display_name to null

2016-08-03 11:53:00 +01:00

devices.sql

Add device_id support to /login

2016-07-18 16:39:44 +01:00

event_fields.py

Add sender and contains_url field to events table

2016-07-14 15:35:43 +01:00

refreshtoken_device_index.sql

Implement deleting devices

2016-07-26 07:35:48 +01:00

refreshtoken_device.sql

schema fix

2016-07-19 11:44:05 +01:00

remote_media_ts.py

Track approximate last access time for remote media

2016-06-29 11:41:20 +01:00

user_ips_index.sql

Create index on user_ips in the background

2016-07-22 13:16:39 +01:00