Closed jimblandy closed 1 year ago
Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @brotzeit (or someone else) soon.
Please see the contribution instructions for more information.
This is obviously not a great fix. But maybe it will be useful to others until something better comes along.
This is, as you might expect, as slow as paste.
Withdrawn in favor of #467.
Fixes #465.