From: David Wells <drwells@email.unc.edu>
Date: Mon, 20 Jul 2020 15:49:05 +0000 (-0400)
Subject: Merge pull request #10726 from peterrum/fetools_compositing_multiply_dof_numbers
X-Git-Tag: v9.3.0-rc1~1264
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9e50f3ac04d088a9d2ffa74a81f08348e7f98a65;p=dealii.git

Merge pull request #10726 from peterrum/fetools_compositing_multiply_dof_numbers

Generalize FETools::Compositing::multiply_dof_numbers
---

9e50f3ac04d088a9d2ffa74a81f08348e7f98a65