bjorn3 commented on issue #2834:
I forgot that I opened this PR. Given how long ago the actual issue was fixed, I don't think it will be easy to check if the test actually detects the bug. Closing.
Last updated: Feb 28 2025 at 01:30 UTC