Skip to content
Unverified Commit a95a2180 authored by ordian's avatar ordian Committed by GitHub
Browse files

small cleanup (#2267) 



* session_info: fix authorities docstring

* overseer: more consistent metrics naming

* session_info: mention ordering

* use correct bucket sizes

Co-authored-by: default avatarPeter Goodspeed-Niklaus <[email protected]>

Co-authored-by: default avatarPeter Goodspeed-Niklaus <[email protected]>
parent 490cbd72
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment