-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2013-12685 2013-07-09 23:57:31 --------------------------------------------------------------------------------
Name : gnome-terminal Product : Fedora 19 Version : 3.8.4 Release : 1.fc19 URL : http://www.gnome.org/ Summary : Terminal emulator for GNOME Description : gnome-terminal is a terminal emulator for GNOME. It features the ability to use multiple terminals in a single window (tabs) and profiles support. -------------------------------------------------------------------------------- Update Information: This is a bug-fix release which contains the following fixes, as well as translation updates: * Fix a crash on session resume * Fix a mem leak * Don't write to gsettings on each startup if migration is disabled -------------------------------------------------------------------------------- ChangeLog: * Mon Jul 8 2013 Matthias Clasen <[email protected]> - 3.8.4-1 - Update to 3.8.4 - Fixes a crash on session resume (#981440) -------------------------------------------------------------------------------- References: [ 1 ] Bug #981440 - [abrt] gnome-terminal-3.8.3-1.fc19: initial_tab_free: Process /usr/bin/gnome-terminal was killed by signal 6 (SIGABRT) https://bugzilla.redhat.com/show_bug.cgi?id=981440 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update gnome-terminal' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/. All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
