diff options
author | Erik Johnston <erikj@jki.re> | 2016-11-04 11:09:38 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-04 11:09:38 +0000 |
commit | 16dc9064d4b6a5692e0aca88913d26054052b392 (patch) | |
tree | 3f7b3738d4dc34068ebef601f27cebb331415be6 /jenkins | |
parent | Merge pull request #1193 from matrix-org/paul/metrics (diff) | |
parent | Comment (diff) | |
download | synapse-16dc9064d4b6a5692e0aca88913d26054052b392.tar.xz |
Merge pull request #1195 from matrix-org/erikj/incorrect_func
Remove unused but buggy function
Diffstat (limited to 'jenkins')
0 files changed, 0 insertions, 0 deletions