diff options
author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2019-11-26 18:10:50 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-11-26 18:10:50 +0000 |
commit | ef1a85e7733bc1979f48357dd59b638110285075 (patch) | |
tree | 5204485986b64e19152de65f31f76fba303eafa7 /mypy.ini | |
parent | Merge pull request #6420 from matrix-org/erikj/fix_find_next_generated_user_i... (diff) | |
download | synapse-ef1a85e7733bc1979f48357dd59b638110285075.tar.xz |
Fix startup error when http proxy is defined. (#6421)
Guess I only tested this on python 2 :/ Fixes #6419.
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions