From: Martin Kronbichler Date: Sat, 1 Jul 2017 20:46:41 +0000 (+0200) Subject: Merge pull request #4560 from bangerth/more-dofhandler-work X-Git-Tag: v9.0.0-rc1~1456 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b25876ec4e6e216055697838b71184038d48f313;p=dealii.git Merge pull request #4560 from bangerth/more-dofhandler-work More DoFHandler work --- b25876ec4e6e216055697838b71184038d48f313