gnome-terminal 3.12.2

[Christian Persch <install-module master gnome org>]

About Terminal
==============

Use the command line

ChangeLog
=========

commit 5d8544063ef3c37c9580f4fa2144e7549e699d77
Author: Carles Ferrando <carles ferrando gmail com>
Date:   Fri May 9 00:23:47 2014 +0200

    [l10n] Updated Catalan (Valencian) translation

 po/ca valencia po | 2694 ++++++++++++-----------------------------------------
 1 file changed, 571 insertions(+), 2123 deletions(-)

commit ef1c6252650cbfa17731795949a693b98b726c41
Author: Debarshi Ray <debarshir gnome org>
Date:   Tue May 6 11:30:28 2014 +0200

    window: Fix parent class in template definition
    
    https://bugzilla.gnome.org/show_bug.cgi?id=729597

 src/terminal-window.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

commit f89df52be0e9ec38e00edf6c2394ca1bb3f08778
Author: Ihar Hrachyshka <ihar hrachyshka gmail com>
Date:   Sun May 4 20:43:13 2014 +0200

    Updated Belarusian translation.
    
    (cherry picked from commit 72fda661d5d09fe4b2d7f5e5596e904394443955)

 po/be.po | 142 +++++++++++++++++++++++++++++++++++----------------------------
 1 file changed, 80 insertions(+), 62 deletions(-)

commit abdebd3fd459038a98e2f5a4aad0d296e391363b
Author: Gustau Perez <gustau perez gmail com>
Date:   Tue Apr 8 09:42:34 2014 +0000

    Fix su/sudo detection.
    
    Commit 1244dbb6f0381ced states that gnome-terminal doesn't work under sudo. To
    detect this that checks whether the uid or gid have changed or that the
    e[uid|gid] are 0.
    
    If the user already belongs to the group wheel or was root without doing any su or sudo
    gnome-terminal will exit.
    
    What we need to check is whether e[uid|gid] have changed (because the user was
    root already or because the user belongs to the wheel/root group) and
    check if the e[uid|gid] are 0. In that case the gnome-terminal is run under
    su/sudo and gnome-terminal should bail out.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=727799
    (cherry picked from commit 612345d2e47585f691006fa488125b2dc687117a)

 src/server.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

commit f24116e323f3b272f6ad9257880a42f709a1fa03
Author: Christian Persch <chpe gnome org>
Date:   Sat Apr 26 17:59:27 2014 +0200

    Post release version bump

 configure.ac | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)



Download
========
https://download.gnome.org/sources/gnome-terminal/3.12/gnome-terminal-3.12.2.tar.xz (1.63M)
  sha256sum: ea19ce610af2873d26e1e75491415e17af6a5080366db966f9220fdeea5ebecd