Jorik Schellekens cf2972c818 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		2019-07-24 13:07:35 +01:00
..
__init__.py	Remove access-token support from RegistrationHandler.register (#5641)	2019-07-08 19:01:08 +01:00
_base.py	Factor out an "assert_requester_is_admin" function (#5120)	2019-05-02 10:45:52 +01:00
server_notice_servlet.py	Fix servlet metric names (#5734)	2019-07-24 13:07:35 +01:00