On Mon, Nov 20, 2023 at 4:36 PM Amit Kapila <amit.kapil...@gmail.com> wrote: > > On Mon, Nov 20, 2023 at 2:36 PM Antonin Houska <a...@cybertec.at> 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.
