Skip to content

Conversation

@aderk
Copy link

@aderk aderk commented Jun 6, 2020

Fixes #1744
Updates #1981

@geiseri
Copy link
Contributor

geiseri commented Jul 12, 2020

Is this PR still valid?

@nhooyr
Copy link
Contributor

nhooyr commented Jul 12, 2020

cc @code-asher

@code-asher
Copy link
Member

We need to make some modifications according to #1744 (comment)

@kylecarbs
Copy link
Member

@code-asher thoughts on forking this and making the needed changes?

@code-asher
Copy link
Member

I think that's a good idea, I'll tackle it this week.

@code-asher
Copy link
Member

I branched off this here: #2002

@code-asher code-asher closed this Aug 25, 2020
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.

Some popular extensions (eg GitHub Pull Requests and Issues) fail on load due to lack of Proposed API support

6 participants