On Wed, Sep 10, 2025 at 6:17 PM Michael Paquier <michael(at)paquier(dot)xyz> wrote:
> On Thu, Sep 11, 2025 at 08:48:47AM +0900, Michael Paquier wrote:
> > I would just remove the file reference. Knowing that GucSource_Names
> > matters is enough to grep for it. Documenting its location does not
> > matter.
>
> Actually, it matters, as GucSource_Names and GucSource need to be kept
> in sync. I've fixed the comment for now down to v16.
>
>
Thank you.
David J.