Add support for european dates in header files. #88
| Job | Run time |
|---|---|
| 7m 5s | |
| 6m 23s | |
| 7m 54s | |
| 6m 10s | |
| 6m 20s | |
| 6m 28s | |
| 8m 59s | |
| 7m 34s | |
| 6m 36s | |
| 6m 28s | |
| 7m 11s | |
| 6m 47s | |
| 7m 10s | |
| 7m 6s | |
| 6m 4s | |
| 5m 26s | |
| 6m 40s | |
| 1h 56m 21s |
| Job | Run time |
|---|---|
| 7m 5s | |
| 6m 23s | |
| 7m 54s | |
| 6m 10s | |
| 6m 20s | |
| 6m 28s | |
| 8m 59s | |
| 7m 34s | |
| 6m 36s | |
| 6m 28s | |
| 7m 11s | |
| 6m 47s | |
| 7m 10s | |
| 7m 6s | |
| 6m 4s | |
| 5m 26s | |
| 6m 40s | |
| 1h 56m 21s |