From: Wolfgang Bangerth Date: Tue, 31 Jan 2017 20:30:30 +0000 (-0700) Subject: Merge pull request #3885 from masterleinad/fix_get_fe_by_name_01 X-Git-Tag: v8.5.0-rc1~171 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4747e7d18126c3fff8a228fe77ab948cae000d6c;p=dealii.git Merge pull request #3885 from masterleinad/fix_get_fe_by_name_01 Fix get_fe_by_name_01 --- 4747e7d18126c3fff8a228fe77ab948cae000d6c