diff options
author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2019-01-16 23:14:11 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-16 23:14:11 +0000 |
commit | 05e129664931c114fcaae8bebe0a26685dcd9c6d (patch) | |
tree | a86e36fa1dfb4d04f650c2cb8f3196e90e8fd17b /pylint.cfg | |
parent | Merge pull request #4399 from andrewshadura/update-python-deps (diff) | |
download | synapse-05e129664931c114fcaae8bebe0a26685dcd9c6d.tar.xz |
don't store more remote device lists if they have more than 1K devices (#4397)
Diffstat (limited to 'pylint.cfg')
0 files changed, 0 insertions, 0 deletions