diff options
| author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2020-12-01 15:52:49 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-01 15:52:49 +0000 |
| commit | 9edff901d1eaca3c72ab4a0b31ff14d1472c6331 (patch) | |
| tree | 40ee43399de1ec4062e479a51991ea3f4d7eb9ce /mypy.ini | |
| parent | Allow Date header through CORS (#8804) (diff) | |
| download | synapse-9edff901d1eaca3c72ab4a0b31ff14d1472c6331.tar.xz | |
Add missing `ordering` to background updates (#8850)
It's important that we make sure our background updates happen in a defined order, to avoid disasters like #6923. Add an ordering to all of the background updates that have landed since #7190.
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions