Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
When the type of an embedder was not specified in the config, it was added automatically during embedder initialization. This prevented correct default option lookup (because it ends as soon as a "type" field is found).
- Loading branch information