Closed KrisThielemans closed 1 day ago
Fixes #815. I can still unzip the files then. (The extracted text file has Unix EOL conventions.)
LGTM @HowardHinnant
Fixes #815. I can still unzip the files then. (The extracted text file has Unix EOL conventions.)