public void merge(string other) { settings_as_string_readonly other_sett = new settings_as_string(other); merge(other_sett); }
public void merge_setings(settings_as_string_readonly other) { settings_.merge(other); }