From: Wolfgang Bangerth Date: Tue, 5 May 2015 02:24:08 +0000 (-0300) Subject: Merge pull request #899 from tamiko/add_two_small_comments X-Git-Tag: v8.3.0-rc1~201 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=72f5764063f20df6e7c43144b558b8a484dbb58d;p=dealii.git Merge pull request #899 from tamiko/add_two_small_comments add two comments --- 72f5764063f20df6e7c43144b558b8a484dbb58d