Skip to content

Conversation

@devshark
Copy link

Solves issue #19

@mde
Copy link
Owner

mde commented Jun 19, 2021

See comments in the associated issue here: #19 Obviously we would want a ton of deep discussion of the various tradeoffs before merging changes to such a critical piece of Internet infrastructure here.

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.

2 participants