Do not call str.splitlines() twice in the same function. (#628)
#1023
| Job | Run time |
|---|---|
| 3m 33s | |
| 3m 17s | |
| 3m 42s | |
| 10m 32s |
str.splitlines() twice in the same function. (#628)
#1023
| Job | Run time |
|---|---|
| 3m 33s | |
| 3m 17s | |
| 3m 42s | |
| 10m 32s |