gnome-shell: update to 3.4.2.

srcpkgs/gnome-shell/template

@@ -1,12 +1,17 @@
 # Template file for 'gnome-shell'
 pkgname=gnome-shell
-version=3.4.1
+version=3.4.2
 revision=1
 build_style=gnu-configure
 configure_args="--disable-schemas-compile --with-systemd
 --with-ca-certificates=/etc/ssl/certs/ca-certificates.crt"
 depends="caribou pulseaudio mesa-demos desktop-file-utils"
-makedepends="pkg-config intltool gnome-doc-utils gobject-introspection json-glib-devel>=0.14.0 startup-notification-devel network-manager-applet-devel folks-devel gnome-menus-devel gnome-desktop-devel gnome-bluetooth-devel>=3.4.0_1 libcroco-devel gjs-devel mutter-devel telepathy-logger-devel libcanberra-devel pulseaudio-devel polkit-devel libgnome-keyring-devel gcr-devel libgudev-devel systemd-devel"
+makedepends="pkg-config intltool gnome-doc-utils gobject-introspection
+json-glib-devel>=0.14.0 startup-notification-devel network-manager-applet-devel
+folks-devel gnome-menus-devel gnome-desktop-devel gnome-bluetooth-devel>=3.4.0_1
+libcroco-devel gjs-devel mutter-devel telepathy-logger-devel libcanberra-devel
+pulseaudio-devel polkit-devel libgnome-keyring-devel gcr-devel libgudev-devel
+systemd-devel"
 fulldepends="ca-certificates gir-freedesktop"
 gtk_iconcache_dirs="/usr/share/icons/hicolor"
 short_desc="GNOME core user interface"
@@ -14,7 +19,7 @@ maintainer="Juan RP <xtraeme@gmail.com>"
 homepage="http://live.gnome.org/GnomeShell"
 license="GPL-2"
 distfiles="${GNOME_SITE}/$pkgname/3.4/$pkgname-$version.tar.xz"
-checksum=6abfd2fca104aae64ce9d027dd233fc218a58b861176a64831b68e3f90ab56a9
+checksum=3807f7882968d032f8f5c64b0e0af51c0d016f2e1c4fd1576203c9350e412720
 long_desc="
  GNOME Shell provides core user interface functions for the GNOME 3 desktop,
  like switching to windows and launching applications. GNOME Shell takes