Commits on May 5, 2020

1. 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).

   

   erikjohnston committed May 5, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for f907389
   • Browse repository at this point

   Copy the full SHA

   f907389 View commit details

   Browse the repository at this point in the history

2. Newsfile

   

   erikjohnston committed May 5, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for 79fe3e0
   • Browse repository at this point

   Copy the full SHA

   79fe3e0 View commit details

   Browse the repository at this point in the history

3. Update changelog.d/7423.misc

   

   richvdh authored May 5, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for 714560e
   • Browse repository at this point

   Copy the full SHA

   714560e View commit details

   Browse the repository at this point in the history

4. Merge branch 'release-v1.13.0' into erikj/faster_device_lists_fetch

   

   richvdh committed May 5, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for 13dd458
   • Browse repository at this point

   Copy the full SHA

   13dd458 View commit details

   Browse the repository at this point in the history