Fix #4362, #1491: When reading text size is extra large, resume lesso… #7
| Job | Run time |
|---|---|
| 5m 17s | |
| 26m 12s | |
| 21m 16s | |
| 25m 11s | |
| 14m 48s | |
| 26m 56s | |
| 26m 16s | |
| 14m 6s | |
| 25m 5s | |
| 25m 55s | |
| 25m 3s | |
| 30m 24s | |
| 24m 52s | |
| 12m 16s | |
| 17m 30s | |
| 12m 49s | |
| 12m 28s | |
| 13m 15s | |
| 38m 30s | |
| 14m 43s | |
| 1s | |
| 6h 52m 53s |