I wrote:
> Fair point.  Still, this is such an unlikely edge-case that
> I don't think it's worth a back-patch.  Let's just do HEAD.

Pushed.  I also looked around for other instances of the same
pattern, and couldn't find any.

                        regards, tom lane


Reply via email to