From: Timo Heister Date: Sat, 20 Jun 2015 16:10:33 +0000 (+0200) Subject: Merge pull request #1023 from bangerth/add-comment X-Git-Tag: v8.3.0-rc1~100 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f6bd4015d69eb97e8be8035b94e71123d23b83d5;p=dealii.git Merge pull request #1023 from bangerth/add-comment Add a comment to two testcases. --- f6bd4015d69eb97e8be8035b94e71123d23b83d5