Skip to content

Conversation

@agatekartik
Copy link

Likely impacted by PR 125, but that has not been merged/rejected yet

@yanganto
Copy link

I think this also fix #41

@sylvestre
Copy link
Contributor

It is conflicting, sorry

@agatekartik
Copy link
Author

Yes, I knew it conflicted with PR125 but PR125 wasnt being merged for a long long time so I made this short PR instead :-)

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