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

Issue/191 #192

Merged
merged 8 commits into from
Sep 20, 2017
Merged

Issue/191 #192

merged 8 commits into from
Sep 20, 2017

Conversation

fulmicoton
Copy link
Collaborator

No description provided.

@fulmicoton
Copy link
Collaborator Author

(it is not ready yet...)

@cetra3
Copy link

cetra3 commented Jul 7, 2017

What is the status of this PR?

@fulmicoton
Copy link
Collaborator Author

@cetra3 It is going to land eventually relatively. I stopped working on it as its build was broken due to rust-lang/rust#42903. Do you have a specific need for it?

@cetra3
Copy link

cetra3 commented Jul 7, 2017

No need at the moment. I was actually thinking of implementing stemming but stumbled upon this PR and was curious of the progress!

@coveralls
Copy link

Coverage Status

Coverage increased (+0.8%) to 90.229% when pulling 3588ca0 on issue/191 into 7c6cdcd on master.

@coveralls
Copy link

Coverage Status

Coverage increased (+0.7%) to 90.139% when pulling 426cc43 on issue/191 into 7c6cdcd on master.

@fulmicoton fulmicoton merged commit 426cc43 into master Sep 20, 2017
@fulmicoton fulmicoton deleted the issue/191 branch March 20, 2018 03:19
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.

4 participants