Hey all, I've got four reviews posted now.
The first three PRs are straightforward, and are good if you're looking for something quick. The metrizability one is tougher. I've tried to leave some comments explaining what's going on, but it's likely insufficient. If you've got the time to review, please reach out, and I'd be happy to help walk you through it.
Thanks for the thorough reviews! The changes are much improved post-review.
Zachary Stone has marked this topic as resolved.
Last updated: Oct 13 2024 at 01:02 UTC