From: Martin Kronbichler Date: Wed, 5 Nov 2014 08:51:56 +0000 (+0100) Subject: Merge pull request #219 from rudraa/add-missing-partial-specialization X-Git-Tag: v8.2.0-rc1~89 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=37064ca813b8e5d2b3ca4082b43025b2fa1c5511;p=dealii.git Merge pull request #219 from rudraa/add-missing-partial-specialization Resolve two conflicting partial specializations by adding a third, most ... --- 37064ca813b8e5d2b3ca4082b43025b2fa1c5511