tree 6fe9821adc0306db981c0c3e33bf60cd5bcc2445
parent 25496d0858015f62587473b13a8c25bdaf504aa6
author Gilles Peskine <Gilles.Peskine@arm.com> 1649884940 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1649937297 +0200

State explicitly USER config files can modify the default config

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>