Erik Johnston f9073893af Speed up fetching device lists changes in sync.
Currently we copy `users_who_share_room` needlessly about three times,
which is expensive when the set is large (which it can easily be).
2020-05-05 17:40:29 +01:00
..
2019-06-20 19:32:02 +10:00
2019-06-20 19:32:02 +10:00
2019-06-20 19:32:02 +10:00
2019-10-02 05:29:01 -07:00