Skip to content

Conversation

scop
Copy link

@scop scop commented Mar 23, 2023

Resubmit of #957

@scop
Copy link
Author

scop commented May 9, 2023

@hugo-sid @jakubroztocil sorry about the ping. This PR and its predecessor has existed for about 3 years, without receiving much commentary at all. It does have some problems still, but before landing more work towards fixing them, I'd like to confirm if this is something that will be accepted once completed in the first place? Thanks!

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