New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Sort metrics by name in metrics.md #2239

Merged

MonsieurNicolas merged 1 commit into stellar:master from Subho13:master

Aug 20, 2019

Contributor

Subho13 commented Aug 18, 2019

sort the metrics according to dictionary order of the metric name


          Sort metrics by name in metrics.md

bbcc9d8

sort the metrics according to dictionary order of the metric name

Contributor

MonsieurNicolas commented Aug 20, 2019

Thanks!

MonsieurNicolas merged commit 8d141cd into stellar:master

MonsieurNicolas mentioned this pull request

Sort metrics by name in metrics.md #2164

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment