On Thu, Jun 15, 2023 at 11:18 PM Alvaro Herrera <alvhe...@alvh.no-ip.org> wrote: > > On 2023-Jun-13, Amit Kapila wrote: > > > I'll push this tomorrow unless there are any suggestions or comments. > > Note the proposed commit message is wrong about which commit is to blame > for the original problem -- it mentions e7e7da2f8d57 twice, but one of > them is actually c3afe8cf5a1e. >
Right, I also noticed this and changed it before pushing, See https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=b5c517379a40fa1af84c0852aa3730a5875a6482 -- With Regards, Amit Kapila.