From: Wolfgang Bangerth Date: Sun, 17 May 2015 20:57:45 +0000 (-0500) Subject: Merge pull request #935 from nicola-giuliani/fixed-fefield X-Git-Tag: v8.3.0-rc1~165 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=70bde9512a77288a9e0c417f2ea527ddf356ed89;p=dealii.git Merge pull request #935 from nicola-giuliani/fixed-fefield Fixed issue with MappingFEField and build_patches --- 70bde9512a77288a9e0c417f2ea527ddf356ed89