Andres Freund <andres@anarazel.de> writes:
> On 2018-02-28 19:03:01 -0500, Tom Lane wrote:
>> Hmm ... certainly, that comment is now wrong, but I'm kind of inclined
>> to just remove it, because it'll certainly be wrong again in future.
>> It's not telling you anything you can't find out with a trivial search
>> in the same file, so is it worth the maintenance overhead?
> +1. Do you want to do the honors? If you don't and nobody comments,
> I'll do so.
Done.
regards, tom lane
