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.

Reply via email to