Fix broken navclean and navsynctypes scripts
#2661
| Job | Run time |
|---|---|
| 5m 38s | |
| 5m 38s |
navclean and navsynctypes scripts
#2661
| Job | Run time |
|---|---|
| 5m 38s | |
| 5m 38s |