diff options
| author | Jorik Schellekens <joriksch@gmail.com> | 2019-07-24 13:07:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-24 13:07:35 +0100 |
| commit | cf2972c818344214244961e6175f559a6b59123b (patch) | |
| tree | d1a3c4b3a2f2b3e3b1dfcbea88cdf5be75c199ef /pylint.cfg | |
| parent | Make changelog slightly more readable (diff) | |
| download | synapse-cf2972c818344214244961e6175f559a6b59123b.tar.xz | |
Fix servlet metric names (#5734)
* Fix servlet metric names Co-Authored-By: Richard van der Hoff <1389908+richvdh@users.noreply.github.com> * Remove redundant check * Cover all return paths
Diffstat (limited to 'pylint.cfg')
0 files changed, 0 insertions, 0 deletions