Casefolding device name instead of strict case sensitive comparison #926
| Job | Run time |
|---|---|
| 10m 3s | |
| 10m 3s | |
| 14m 23s | |
| 13m 9s | |
| 11m 40s | |
| 11m 40s | |
| 9m 57s | |
| 9m 57s | |
| 10m 15s | |
| 10m 15s | |
| 1h 51m 22s |
| Job | Run time |
|---|---|
| 10m 3s | |
| 10m 3s | |
| 14m 23s | |
| 13m 9s | |
| 11m 40s | |
| 11m 40s | |
| 9m 57s | |
| 9m 57s | |
| 10m 15s | |
| 10m 15s | |
| 1h 51m 22s |