cURL version: 7.72.0

Release date: Aug. 19, 2020