Processing commands for cont...@bugs.debian.org:

> forwarded 1076800 https://github.com/curl/curl/issues/14352
Bug #1076800 [curl] curl: After switched to gnutls, curl -w '%{size_header}' 
doesn't work
Set Bug forwarded-to-address to 'https://github.com/curl/curl/issues/14352'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1076800: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1076800
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Reply via email to