jameysharp commented on issue #6255:
I want to do a quick round of profiling on this before merging it but I think it'll probably be fine.
Last updated: Feb 28 2025 at 01:30 UTC