Skip to content

Conversation

@internettrans
Copy link

See #7, #8, #6 for previous work. I created a new PR that's very similar to #8 just because I had already written this code in diagnosing the error, and slightly prefer this implementation over the one in #8 (specifically the comments in #8 are a bit misleading, and it doesn't do a truthiness check for source).

@internettrans internettrans merged commit 53ab9d1 into main Jan 4, 2022
@internettrans
Copy link
Author

@make-github-pseudonymous-again

I confirm this fixes #7.

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