Andres Freund <and...@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