From: Timo Heister Date: Sat, 18 Jul 2015 12:56:29 +0000 (-0400) Subject: Merge pull request #1152 from bangerth/fix-fesystem-with-more-demanding-elements X-Git-Tag: v8.4.0-rc2~747 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fe097fec72d2b4724155bd9740f2e92b19eb15ea;p=dealii.git Merge pull request #1152 from bangerth/fix-fesystem-with-more-demanding-elements Fix an inconsistency in FESystem. --- fe097fec72d2b4724155bd9740f2e92b19eb15ea