mirror of
https://github.com/curl/curl.git
synced 2025-03-13 15:37:04 +08:00
Mistake leftover from my edit before push. Follow-up from 8a13be227eede2601c2b3b Reported-by: Viktor Szakats Bug: https://github.com/curl/curl/pull/9290#issuecomment-1214569167