read_lines: Use .map_while(Result::ok) instead of .flatten().
#648
| Job | Run time |
|---|---|
| 3m 57s | |
| 3m 57s |
read_lines: Use .map_while(Result::ok) instead of .flatten().
#648
| Job | Run time |
|---|---|
| 3m 57s | |
| 3m 57s |