From: Wolfgang Bangerth Date: Tue, 4 Apr 2017 15:20:35 +0000 (-0600) Subject: Merge pull request #4181 from tjhei/r_8_5_pr_4180 X-Git-Tag: v8.5.0-rc2~3 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=48a509c6346d5efb6182603f2ccdf775beac87bd;p=dealii.git Merge pull request #4181 from tjhei/r_8_5_pr_4180 [8.5] take over #4180: add step-57 DOI --- 48a509c6346d5efb6182603f2ccdf775beac87bd