From e1ceb050e19c7574bca146a8da7047ee4ff456b5 Mon Sep 17 00:00:00 2001
From: Marius Burkard <m.burkard@pixcept.de>
Date: Sun, 10 Jul 2016 05:02:35 -0400
Subject: [PATCH] Merge branch 'stable-3.1'

---
 server/server.sh |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/server/server.sh b/server/server.sh
index 2d05d4f..9c92a86 100755
--- a/server/server.sh
+++ b/server/server.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 
 PATH=/sbin:/usr/sbin:/bin:/usr/bin:/usr/local/sbin:/usr/local/bin:/usr/X11R6/bin

--
Gitblit v1.9.1