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 'docs/workers.md')
0 files changed, 0 insertions, 0 deletions