On Sun, 30 May 2021 17:45:22 +0200, Theo Buehler <t...@theobuehler.org> wrote:
> Unsure. If people really think this is useful and necessary, I can be > convinced. It's easy enough to do. And you're right, curl strips the > trailing dot after resolving a host name for SNI and HTTP host header. Given the current error message makes it hard to understand what the problem is, I think it's nicer to fix the user error like curl(1) does. Thanks, Daniel
