Robert Haas <[email protected]> writes:
> On Wed, Aug 16, 2017 at 3:02 PM, Robert Haas <[email protected]> wrote:
>> On Wed, Aug 16, 2017 at 2:16 PM, Tom Lane <[email protected]> wrote:
>>> The current text of the comment dates to commit 177c56d60, and looking at
>>> that commit makes it pretty clear that the line I'm complaining of
>>> belonged to the previous text; it evidently just missed getting deleted.

>> Got it.  Nice forensics, and sorry about the good.

> ... goof.

Will you fix it, or shall I?

                        regards, tom lane


-- 
Sent via pgsql-hackers mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-hackers

Reply via email to