On Mon, Jun 24, 2019 at 08:52:00AM -0400, Alvaro Herrera wrote: > On 2019-Jun-24, Michael Paquier wrote: > > On Fri, Jun 14, 2019 at 06:31:52PM -0400, Alvaro Herrera wrote: > > > BTW I tested this manually and it seemed to work as intended, ie., if I > > > change /etc/hosts for the hostname I am using between one connection and > > > the next, we do keep the hostaddr if it was specified, or we resolve the > > > name again if it's not. > > > > Alvaro, did 313f56ce fix all the issues related to this thread? > > Yes, as far as I am aware it does.
I agree, it did.
