Skip to content

Revert "changes from issue #13"#17

Merged
kshychko merged 1 commit intodevelopfrom
revert-15-#13
May 30, 2019
Merged

Revert "changes from issue #13"#17
kshychko merged 1 commit intodevelopfrom
revert-15-#13

Conversation

@kshychko
Copy link
Contributor

Reverts #15

@kshychko
Copy link
Contributor Author

merging #15 caused conflicts on #14. Will merge #14 first, then resolve conflicts here.

@kshychko kshychko merged commit 506c980 into develop May 30, 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.

1 participant