-
Klaus Aehlig authored
Whenever we set a configuration, we also upgrade it. In particular, there is no need for an unconditional upgrade; so avoid upgrading the configuration over and over again if it did not change. Signed-off-by: Klaus Aehlig <aehlig@google.com> Reviewed-by: Petr Pudlak <pudlak@google.com>
5ff052c0