Skip to content

Minor improvements #10393

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.

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

Closed
wants to merge 2 commits into from
Closed

Minor improvements #10393

wants to merge 2 commits into from

Conversation

ThomasLandauer
Copy link
Contributor

No description provided.

@javiereguiluz
Copy link
Member

Not sure about these changes 😕 We use a special title case on purpose. I know it's confusing some times (see https://writing.stackexchange.com/a/4622) but we can't change it now that all docs use it.

So please, revert all changes in titles. Thanks!

@ThomasLandauer
Copy link
Contributor Author

OK, there you go :-) BTW: Capitalization was inconsistent before.

@javiereguiluz javiereguiluz added this to the 3.4 milestone Sep 25, 2018
javiereguiluz added a commit that referenced this pull request Sep 25, 2018
This PR was squashed before being merged into the 3.4 branch (closes #10393).

Discussion
----------

Minor improvements

Commits
-------

d2ef905 Minor improvements
@javiereguiluz
Copy link
Member

@ThomasLandauer thanks for reverting the changes in the titles and thanks for this contribution. It's merged now.

@ThomasLandauer ThomasLandauer deleted the patch-2 branch September 25, 2018 08:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants