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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20140214/9428e02e/attachment.html>