Improve docs

pull/7453/head
Brendan Abolivier 2020-05-21 16:58:10 +02:00
parent 70d17c53dc
commit d906ca6577
No known key found for this signature in database
GPG Key ID: 1E015C145F1916CD
1 changed files with 2 additions and 1 deletions

View File

@ -653,7 +653,8 @@ class DeviceWorkerStore(SQLBaseStore):
self, user_ids: Optional[Collection[str]] = None,
) -> Set[str]:
"""Given a list of remote users return the list of users that we
should resync the device lists for.
should resync the device lists for. If None is given instead of a list,
return every user that we should resync the device lists for.
Returns:
The IDs of users whose device lists need resync.