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

Fix #803 #846

Merged
merged 1 commit into from
May 14, 2019
Merged

Fix #803 #846

merged 1 commit into from
May 14, 2019

Conversation

delvedor
Copy link
Member

As titled, see #803 for discussion.

@lazaro9318 @alanjames1987 @jlausolutions @tvarghese can you verify if this change fixes your issue?

@alanjames1987
Copy link

@delvedor This works for me. That's a very simple "fix" for the problem that I wouldn't have thought of. 👍

@delvedor delvedor merged commit c76d024 into master May 14, 2019
@delvedor delvedor deleted the fix-803 branch May 14, 2019 15:19
delvedor added a commit that referenced this pull request May 14, 2019
delvedor added a commit that referenced this pull request May 14, 2019
delvedor added a commit that referenced this pull request May 14, 2019
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