Rename internal is_ascii_char
to is_ascii_alphabet_char
#28169
Job | Run time |
---|---|
3m 37s | |
29m 28s | |
40m 29s | |
45m 43s | |
32m 42s | |
38m 41s | |
24m 26s | |
39m 12s | |
45m 8s | |
34m 27s | |
30m 31s | |
25m 6s | |
22m 23s | |
14m 34s | |
22m 31s | |
7m 9s | |
7h 36m 7s |