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

Change de-transliteration name to Deutsch Tilde #305

Merged
merged 1 commit into from Oct 29, 2013
Merged

Change de-transliteration name to Deutsch Tilde #305

merged 1 commit into from Oct 29, 2013

Conversation

siebrand
Copy link
Member

It was indicated[1] that the current name "Deutsch" is confusing.

[1] https://bugzilla.wikimedia.org/55698

It was indicated[1] that the current name "Deutsch" is confusing.

[1] https://bugzilla.wikimedia.org/55698
@amire80
Copy link
Contributor

amire80 commented Oct 29, 2013

The code looks OK, going to run the tests.

amire80 added a commit that referenced this pull request Oct 29, 2013
Change de-transliteration name to Deutsch Tilde
@amire80 amire80 merged commit 764d742 into wikimedia:master Oct 29, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants