Skip to content

PR for last fixes after editors review#4678

Merged
pauljervis merged 3 commits into
eugenp:masterfrom
cmlavila:master
Jul 10, 2018
Merged

PR for last fixes after editors review#4678
pauljervis merged 3 commits into
eugenp:masterfrom
cmlavila:master

Conversation

@cmlavila

Copy link
Copy Markdown
Contributor

No description provided.

@pauljervis pauljervis merged commit 6444267 into eugenp:master Jul 10, 2018
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