mirror of
https://github.com/zulip/zulip.git
synced 2025-11-09 00:18:12 +00:00
This commit modifies the copy_user_settings code such that instead of source user profile, we can have two types of sources - a user profile and RealmUserDefault table of realm and then set the settings from RealmUserDefault only is there is no user profile as a source. We also rename copy_user_settings to copy_default_settings for clarity.
7.2 KiB
7.2 KiB