From: Matthias Maier Date: Wed, 13 May 2020 03:17:02 +0000 (-0500) Subject: Merge pull request #10173 from tjhei/jenkins_test_release_branches_master X-Git-Tag: v9.3.0-rc1~1653 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0119b1c6a82f7696e092acdbb70864da354a8944;p=dealii.git Merge pull request #10173 from tjhei/jenkins_test_release_branches_master Jenkins: also test release branches --- 0119b1c6a82f7696e092acdbb70864da354a8944