jameysharp commented on issue #4932:
I just gave this about 100k runs after locally merging from main, and didn't find any bugs, so I'm merging it now.
main
Last updated: Jan 24 2025 at 00:11 UTC