From: David Wells <drwells@email.unc.edu>
Date: Mon, 6 Dec 2021 13:33:45 +0000 (-0500)
Subject: Merge pull request #13027 from bangerth/face_number
X-Git-Tag: v9.4.0-rc1~770
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=13a473023249b38234e88194e70c3d054874a1b1;p=dealii.git

Merge pull request #13027 from bangerth/face_number

Allow accessing face numbers in data postprocessors
---

13a473023249b38234e88194e70c3d054874a1b1