Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Sort the config parameters before printing them #4547
This annoyed me! I fixed it!
If this PR changes any APIs or behaviors, give a short description of what API users should do when this PR is merged.
No morph tests necessary (no coverage added). Travis should be good enough. I tested this locally and everything was ok!