Processing commands for [email protected]:

> 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 [email protected] with problems

Reply via email to