Prefer delete to tr when using it to remove characters from a str…
#1771
| Job | Run time |
|---|---|
| 10s | |
| 15s | |
| 14s | |
| 13s | |
| 30s | |
| 27s | |
| 13s | |
| 13s | |
| 13s | |
| 27s | |
| 29s | |
| 3m 24s |
delete to tr when using it to remove characters from a str…
#1771
| Job | Run time |
|---|---|
| 10s | |
| 15s | |
| 14s | |
| 13s | |
| 30s | |
| 27s | |
| 13s | |
| 13s | |
| 13s | |
| 27s | |
| 29s | |
| 3m 24s |