From: Martin Kronbichler Date: Fri, 27 Feb 2015 13:15:41 +0000 (+0100) Subject: Merge pull request #612 from bangerth/fix-thinko X-Git-Tag: v8.3.0-rc1~410 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e9f32e4c59a8a8bf0249e17b813a999117d8cf34;p=dealii.git Merge pull request #612 from bangerth/fix-thinko Fix a thinko that in its current state makes no sense at all. --- e9f32e4c59a8a8bf0249e17b813a999117d8cf34