Tomas Vondra <tomas(dot)vondra(at)enterprisedb(dot)com> writes:
> On 3/20/23 10:28, Tomas Vondra wrote:
>> Reported by Dmitry Dolgov, investigation and fix by me.
>> Reported-by: Dmitry Dolgov
> Correction - the issue was reported by Robins Tharakan, I got confused
> while writing the commit message. I don't know if this issue is to be
> mentioned in release notes (considering it mostly affects just assert
> builds), but if we do we should the correct name.
We don't normally cite the bug reporter's name in release notes,
just the person(s) who wrote the patch. So this won't be an issue
for the notes.
regards, tom lane