diff options
| author | David Robertson <davidr@element.io> | 2022-10-07 13:54:07 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-07 13:54:07 +0100 |
| commit | 2295095c97f3b4707f30ae8cb4562ebb799f7ac1 (patch) | |
| tree | 2c084ff17e30f123bd0f4aea0191ed45d6a9238f /docs/workers.md | |
| parent | Catch BrokenPipeError from metrics server, and log as a warning (#14072) (diff) | |
| download | synapse-2295095c97f3b4707f30ae8cb4562ebb799f7ac1.tar.xz | |
Use Pydantic to validate /devices endpoints (#14054)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions