Bug#714213: gnome-terminal-server crashed with signal 5 in g_settings_set_property()

[althaser]

Hey Mykola,

Could you please try to reproduce this bug with newer gnome-terminal
version like 3.10.1-1 ?

Or how can we reproduce the issue ?

thanks
althaser