Config: Remove use of NO_DEFAULT for Option.default
#7605
| Job | Run time |
|---|---|
| 8m 48s | |
| 8m 48s |
NO_DEFAULT for Option.default
#7605
| Job | Run time |
|---|---|
| 8m 48s | |
| 8m 48s |