From a0b973bd4e228120a561a61928e1b4820103d713 Mon Sep 17 00:00:00 2001
From: Damien Cassou <damien@cassou.me>
Date: Mon, 18 Jul 2016 08:47:01 +0200
Subject: [PATCH] gnome-shell: 3.20.2 -> 3.20.3

---
 pkgs/desktops/gnome-3/3.20/core/gnome-shell/src.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/desktops/gnome-3/3.20/core/gnome-shell/src.nix b/pkgs/desktops/gnome-3/3.20/core/gnome-shell/src.nix
index 3033cdffa33..df4994cead0 100644
--- a/pkgs/desktops/gnome-3/3.20/core/gnome-shell/src.nix
+++ b/pkgs/desktops/gnome-3/3.20/core/gnome-shell/src.nix
@@ -1,10 +1,10 @@
 # Autogenerated by maintainers/scripts/gnome.sh update
 
 fetchurl: {
-  name = "gnome-shell-3.20.2";
+  name = "gnome-shell-3.20.3";
 
   src = fetchurl {
-    url = mirror://gnome/sources/gnome-shell/3.20/gnome-shell-3.20.2.tar.xz;
-    sha256 = "eaff6b177cc5bab16b252c45393a6c9305ad3837a288e738388c7b4d4bae13cd";
+    url = mirror://gnome/sources/gnome-shell/3.20/gnome-shell-3.20.3.tar.xz;
+    sha256 = "b23fd558623bfdc726066be3f47bb5fb8ed9c0ad980a95d6afc6397b6d41171e";
   };
 }