From 84327822e1ada2a73b67f23ebc238ab07bf6c185 Mon Sep 17 00:00:00 2001
From: Luca Bruno <lucabru@src.gnome.org>
Date: Thu, 11 Jun 2015 12:27:39 +0200
Subject: [PATCH] gnome-latest.sh: use bash, it doesn't work with sh

---
 maintainers/scripts/gnome-latest.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/maintainers/scripts/gnome-latest.sh b/maintainers/scripts/gnome-latest.sh
index 9290b6deaff0..63b309c5a77c 100755
--- a/maintainers/scripts/gnome-latest.sh
+++ b/maintainers/scripts/gnome-latest.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env bash
 
 GNOME_FTP="ftp.gnome.org/pub/GNOME/sources"