Skip to content

Conversation

@tseaver
Copy link
Member

@tseaver tseaver commented May 24, 2017

Redo PR #1 from new, local branch.

@icemac
Copy link
Member

icemac commented Aug 24, 2017

@tseaver What is the current status of this PR? Do you think it should be made ready for merge?

@tseaver
Copy link
Member Author

tseaver commented Oct 10, 2017

@icemac it needs a bit of rebase love to get current, I'm afraid.

@icemac
Copy link
Member

icemac commented Oct 19, 2017

@tseaver wrote:

it needs a bit of rebase love to get current, I'm afraid.

Do you think it is worth this needed work or should we close it/keep it unfinished forever?

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.

4 participants