Merge commit 'feb976e6be3a07dd31b35b35287420bba9ffbbf3' into kraken * commit 'feb976e6be3a07dd31b35b35287420bba9ffbbf3': Fix an upgrade bug in SettingsProvider.
Merge commit 'feb976e6be3a07dd31b35b35287420bba9ffbbf3' into kraken * commit 'feb976e6be3a07dd31b35b35287420bba9ffbbf3': Fix an upgrade bug in SettingsProvider.