David Rowley <dgrowleyml@gmail.com> writes:
> On Wed, 1 May 2024 at 17:02, Tatsuo Ishii <ishii@sraoss.co.jp> 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