Skip to content

Conversation

@ajocksch
Copy link
Contributor

@ajocksch ajocksch commented Sep 6, 2019

No description provided.

@vkarak
Copy link
Contributor

vkarak commented Sep 6, 2019

@ajocksch Why do you need a second PR and not just update your other one?

@vkarak
Copy link
Contributor

vkarak commented Sep 6, 2019

This patch should be applied to #908.

@vkarak vkarak closed this Sep 6, 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