I wrote:
> Peter Eisentraut <peter.eisentraut@enterprisedb.com> writes:
>> The case I was working on is the same as Israel's. He has confirmed
>> that this fixes the issue we have been working on.
> OK, I'll make this happen soon.
Pushed. I left out the idea of making this conditional on whether
any preceding command had performed data modification, as that seemed
to greatly complicate the explanation (since "have we performed any
data modification" is a rather squishy question from a user's viewpoint).
regards, tom lane