From: Guido Kanschat <dr.guido.kanschat@gmail.com>
Date: Tue, 31 Mar 2015 07:43:25 +0000 (+0200)
Subject: Merge pull request #713 from tamiko/late_night_fix
X-Git-Tag: v8.3.0-rc1~337
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=94ede93c52d40c153e7a817e437e9be0558e956e;p=dealii.git

Merge pull request #713 from tamiko/late_night_fix

Fix errors in run_test.sh
---

94ede93c52d40c153e7a817e437e9be0558e956e