Skip to content

Conversation

@sferra
Copy link
Contributor

@sferra sferra commented May 2, 2017

See #251

@kazup01 kazup01 added the Linux label May 17, 2017
@sferra
Copy link
Contributor Author

sferra commented Jun 12, 2017

I would like to close this pull request because its source is my fork's master instead of an appropriate branch. Afterwards I would open a new pull request from an appropriate branch which contains the commits above.

Are there any objections? Or is there an alternative for switching the pull request's source branch?

@yashha
Copy link

yashha commented Aug 15, 2017

@sferra When are you finishing you pr? Or should sb else make a new pr? Greets :)

@sferra
Copy link
Contributor Author

sferra commented Aug 15, 2017

I just created #806. I'm sorry for the confusion...

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.

3 participants