update to gnome-terminal-3.12.2

x11/gnome/terminal/Makefile

@@ -1,11 +1,11 @@
-# $OpenBSD: Makefile,v 1.121 2014/04/26 22:28:39 jasper Exp $
+# $OpenBSD: Makefile,v 1.122 2014/05/13 08:49:33 jasper Exp $
 
 SHARED_ONLY=	Yes
 
 COMMENT=	GNOME terminal
 
 GNOME_PROJECT=	gnome-terminal
-GNOME_VERSION=	3.12.1
+GNOME_VERSION=	3.12.2
 
 # GPLv3+
 PERMIT_PACKAGE_CDROM=	Yes

x11/gnome/terminal/distinfo

@@ -1,2 +1,2 @@
-SHA256 (gnome/gnome-terminal-3.12.1.tar.xz) = e2hxTGPqa7bu7u1XS2HxMop/fcNKKU0JEekSnYiNVsY=
-SIZE (gnome/gnome-terminal-3.12.1.tar.xz) = 1712672
+SHA256 (gnome/gnome-terminal-3.12.2.tar.xz) = 6hnOYQryhz0m4edUkUFeF69qUIA2bblm+SIP3upevs0=
+SIZE (gnome/gnome-terminal-3.12.2.tar.xz) = 1706508

x11/gnome/terminal/patches/patch-src_server_c

@@ -1,22 +0,0 @@
-$OpenBSD: patch-src_server_c,v 1.3 2014/04/08 17:27:13 ajacoutot Exp $
-
-From 612345d2e47585f691006fa488125b2dc687117a Mon Sep 17 00:00:00 2001
-From: Gustau Perez <gustau.perez@gmail.com>
-Date: Tue, 8 Apr 2014 09:42:34 +0000
-Subject: Fix su/sudo detection.
-
---- src/server.c.orig	Mon Mar  3 21:48:49 2014
-+++ src/server.c	Tue Apr  8 19:22:17 2014
-@@ -72,9 +72,9 @@ main (int argc, char **argv)
-   const char *home_dir;
-   GError *error = NULL;
- 
--  if (G_UNLIKELY (getuid () != geteuid () ||
--                  getgid () != getegid () ||
--                  geteuid () == 0 || 
-+  if (G_UNLIKELY ((getuid () != geteuid () ||
-+                  getgid () != getegid ()) &&
-+                  geteuid () == 0 &&
-                   getegid () == 0)) {
-     g_printerr ("Wrong euid/egid, exiting.\n");
-     return EXIT_FAILURE;