Skip to content
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

[doc] internationalization (for issue #3162) #3195

Merged
merged 3 commits into from
Oct 26, 2017
Merged

Conversation

jwkaltz
Copy link
Member

@jwkaltz jwkaltz commented Oct 24, 2017

No description provided.

@jwkaltz jwkaltz requested a review from sbrunner October 24, 2017 14:01
@jwkaltz jwkaltz changed the title for issue #3162 [doc] internationalization (for issue #3162) Oct 24, 2017
@jwkaltz
Copy link
Member Author

jwkaltz commented Oct 26, 2017

@sbrunner can I merge this despite of Travis?
I would like to continue with the next doc improvements and there will some changes in the tree structure (I will try to group "legacy" stuff better).

@jwkaltz jwkaltz merged commit 2a16ed1 into master Oct 26, 2017
@jwkaltz jwkaltz deleted the doc_internationalization branch October 26, 2017 10:06
@sbrunner sbrunner added this to the 2.3 milestone Nov 14, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants