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