Robert Haas <robertmh...@gmail.com> writes: > On Wed, Aug 16, 2017 at 3:02 PM, Robert Haas <robertmh...@gmail.com> wrote: >> On Wed, Aug 16, 2017 at 2:16 PM, Tom Lane <t...@sss.pgh.pa.us> 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 (firstname.lastname@example.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers