repair char-foldcase for some single-character special cases
#28
| Job | Run time |
|---|---|
| 38m 56s | |
| 14m 18s | |
| 17m 33s | |
| 15m 47s | |
| 21m 36s | |
| 14m 18s | |
| 18m 3s | |
| 17m 25s | |
| 28m 37s | |
| 35m 46s | |
| 34m 13s | |
| 42m 0s | |
| 20m 3s | |
| 5h 18m 35s |