diff options
| author | Till <2353100+S7evinK@users.noreply.github.com> | 2022-12-12 08:20:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-12 08:20:59 +0100 |
| commit | 7d2344049d0780e92b071939addc41219ce94f5a (patch) | |
| tree | 5c176838ae54ac2d6e8a684da8ff4d981a65863b /mediaapi | |
| parent | aaf4e5c8654463cc5431d57db9163ad9ed558f53 (diff) | |
Cleanup stale device lists for users we don't share a room with anymore (#2857)
The stale device lists table might contain entries for users we don't
share a room with anymore. This now asks the roomserver about left users
and removes those entries from the table.
Co-authored-by: Neil Alexander <neilalexander@users.noreply.github.com>
Diffstat (limited to 'mediaapi')
0 files changed, 0 insertions, 0 deletions