BTW --- from my own perspective, what is much more interesting is
testing time on your real application to make sure that you don't
see a crash any more. I am certain that I identified and fixed
*a* bug, what I'm less certain about is that it is actually what
you were hitting. The previous advice would help you reproduce
the bug that I fixed, but ...
regards, tom lane