Re: [PATCH] curl: Update to version 7.71.1