daveg <daveg(at)sonic(dot)net> writes:
> We have had this deployed in our test and production environments for a
> couple weeks now. We have not seen any further instance of the problem.
> Without the patch, we would have expected to see at least a few by now.
> So the patch appears to be effective.
Cool, thanks for the follow-up.
regards, tom lane