On Wed, Sep 10, 2025 at 6:17 PM Michael Paquier <[email protected]> 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.
