From: Wolfgang Bangerth Date: Thu, 25 Jun 2020 00:10:54 +0000 (+0200) Subject: Merge pull request #10593 from peterrum/dof_accessor_dofhandlertype X-Git-Tag: v9.3.0-rc1~1377 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=adc249cc8ad8ed9d9408795b8592d83a30a3950d;p=dealii.git Merge pull request #10593 from peterrum/dof_accessor_dofhandlertype Remove DoFHandlerType from dofs/dof_accessor --- adc249cc8ad8ed9d9408795b8592d83a30a3950d