CURL 7.71.1 released: tool to transfer data from or to a server