Skip to content

Issue 3099 fix #3138

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

Merged
merged 5 commits into from
Jul 29, 2019
Merged

Issue 3099 fix #3138

merged 5 commits into from
Jul 29, 2019

Conversation

Gauravseta
Copy link
Collaborator

No description provided.

@kkartunov
Copy link
Collaborator

@Gauravseta why are all those other commits in this PR? We will test and merge only PRs that touch related to issue commits. I am not able to review what else you want to merge in thus create separate PRs please.

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.

5 participants