Eduardo Habkost <[email protected]> writes:

> Both -nodefconfig and -no-user-config options do the same thing
> today, we only need one variable to keep track of them.
>
> Suggested-by: Markus Armbruster <[email protected]>
> Signed-off-by: Eduardo Habkost <[email protected]>

Reviewed-by: Markus Armbruster <[email protected]>

Reply via email to