Re: [PATCH] curl: Update to version 7.80.0