From: Daniel Arndt Date: Wed, 16 Nov 2016 00:54:22 +0000 (+0100) Subject: Merge pull request #3589 from bangerth/fix-wrong-mapping-clone X-Git-Tag: v8.5.0-rc1~398 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4b00c904262a0c283b96101ed0c0772fad71e59f;p=dealii.git Merge pull request #3589 from bangerth/fix-wrong-mapping-clone Fix a rather insidious bug in MappingQ. --- 4b00c904262a0c283b96101ed0c0772fad71e59f