Leo Famulari Wed, 12 Mar 2025 16:06:35 -0700
I just checked, and this segfault doesn't happen anymore. So I'm closing the bug.
