On Wed, Aug 16, 2017 at 3:44 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
> Robert Haas <robertmhaas@gmail.com> writes:
>> On Wed, Aug 16, 2017 at 3:02 PM, Robert Haas <robertmhaas@gmail.com> wrote:
>>> On Wed, Aug 16, 2017 at 2:16 PM, Tom Lane <tgl@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?
Whichever you like.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company