[taler-deployment] branch master updated: force bash

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository deployment.

The following commit(s) were added to refs/heads/master by this push:
     new d2b4f92  force bash
d2b4f92 is described below

commit d2b4f92f4d9f27288943a377e895ce1a6c1e4fb5
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Thu Oct 22 09:54:00 2020 +0200

    force bash
---
 buildbot/doxygen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/buildbot/doxygen.sh b/buildbot/doxygen.sh
index d94a844..c91cc31 100755
--- a/buildbot/doxygen.sh
+++ b/buildbot/doxygen.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -eu
 

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.