Skip to content

Conversation

@justjosias
Copy link

Cherry-picked from gorhill#1015

Great idea, but needs work before merging.

@justjosias justjosias merged commit 30de1e9 into master Jan 30, 2021
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