On Fri, Aug 30, 2019 at 11:22 AM Ruediger Pluem <[email protected]> wrote: > > Shouldn't we use strcasecmp instead of strcmp here? IMHO hostnames are case > insensitive.
Fixed in r1865966, I guess ;) Regards, Yann.
On Fri, Aug 30, 2019 at 11:22 AM Ruediger Pluem <[email protected]> wrote: > > Shouldn't we use strcasecmp instead of strcmp here? IMHO hostnames are case > insensitive.
Fixed in r1865966, I guess ;) Regards, Yann.