Skip to content

Conversation

@zivanfi
Copy link
Contributor

@zivanfi zivanfi commented Jan 25, 2018

No description provided.

@zivanfi
Copy link
Contributor Author

zivanfi commented Jan 25, 2018

Already approved in #436, but created a new PR before merging for technical reasons.

@asfgit asfgit closed this in 6e0cc72 Jan 25, 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.

1 participant