On Mon, Nov 20, 2023 at 4:36 PM Amit Kapila <[email protected]> wrote: > > On Mon, Nov 20, 2023 at 2:36 PM Antonin Houska <[email protected]> wrote: > > > > Although it's not performance-critical, I think it just makes sense to break > > the loop in replorigin_session_setup() as soon as we've found the origin. > > > > Your proposal sounds reasonable to me. >
Pushed, thanks for the patch! -- With Regards, Amit Kapila.
