Rename read_to_string()
to read()
(#2518)
#2959
Job | Run time |
---|---|
23s | |
24s | |
5s | |
22s | |
2m 13s | |
3m 27s |
read_to_string()
to read()
(#2518)
#2959
Job | Run time |
---|---|
23s | |
24s | |
5s | |
22s | |
2m 13s | |
3m 27s |