David Rowley <[email protected]> writes: > On Wed, 1 May 2024 at 17:02, Tatsuo Ishii <[email protected]> wrote: >> Maybe you are talking about BUG #18305:
> Thanks for pointing it out. There's not much I can do to correct the
> commit message now.
Yeah, once pushed commit messages are pretty much graven on stone
tablets. But we do have a history of posting corrections in this
mailing list, just in case future hackers want to track something
down.
regards, tom lane
