str.concat_with_pipe() supports lists and individual args (#778)
#840
| Job | Run time |
|---|---|
| 12m 14s | |
| 9m 48s | |
| 16m 43s | |
| 38m 45s |
str.concat_with_pipe() supports lists and individual args (#778)
#840
| Job | Run time |
|---|---|
| 12m 14s | |
| 9m 48s | |
| 16m 43s | |
| 38m 45s |