Bug#833079: curl: --no-proxy

Mon, 22 Aug 2016 18:57:49 -0700 

is this deemed a bug based upon head request phenomena observed with proxy ?

Reply via email to